Nethermind
Ethereum and Starknet researchers and builders developing the Nethermind Ethereum client, Juno, Voyager, and Sedge.
Pinned Loading
Repositories
Showing 10 of 358 repositories
- wormhole Public Forked from wormhole-foundation/wormhole
A reference implementation for the Wormhole blockchain interoperability protocol.
NethermindEth/wormhole’s past year of commit activity - cvc5-ff-proof Public Forked from psaccomani15/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
NethermindEth/cvc5-ff-proof’s past year of commit activity - raiko Public Forked from taikoxyz/raiko
Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
NethermindEth/raiko’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…