jsign / verkle-cryptoLinks
Cryptography for Ethereum Verkle Trees
β42Updated last year
Alternatives and similar repositories for verkle-crypto
Users that are interested in verkle-crypto are comparing it to the libraries listed below
Sorting:
- A stateless Ethereum execution clientβ33Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack π¦πβ56Updated 2 years ago
- A community-developed re-implementation of the Starkware Stone Proverβ69Updated last year
- Starknet sequencer built with Tendermint Coreβ52Updated 2 years ago
- β49Updated 2 years ago
- relays blocks from the shared sequencer to the DA layerβ27Updated 2 years ago
- Adapt your STARK stone proofs for verifications on Ethereumβ17Updated last year
- An ABI compatible for KZG EIP-4844 in Rustβ23Updated 2 years ago
- An API compatible port of the Stone prover.β19Updated last year
- A toy Cairo VM implementation in Rustβ’β72Updated 3 years ago
- β32Updated last year
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.β65Updated last year
- Circuits for Pluto's `web-prover`β25Updated 9 months ago
- barretenburg in rust (here we go)β99Updated 2 years ago
- Zig implementation of the Ethereum Virtual Machineβ86Updated 2 years ago
- Rust implementation of KZG point evaluationβ35Updated last week
- A collection of ZK light client libraries for various blockchainsβ67Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systemsβ53Updated 3 years ago
- On-chain Ethereum light client built with SP1β80Updated last month
- KZG commitments over BLS12-381β37Updated 3 years ago
- Poseidon Rust libraryβ38Updated 2 years ago
- Shared peer-to-peer network of zero-knowledge proversβ16Updated last year
- Honk Verifier in Solidityβ50Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rsβ37Updated this week
- β54Updated 8 months ago
- β46Updated 2 months ago
- Cairo-VM STONE STARK Verifier Rust implementationβ43Updated last year
- β‘ Cairo VM in Zig β‘β85Updated last year
- Pluto Web Prover π¦β39Updated 10 months ago
- β31Updated 3 months ago