succinctlabs / sp1-contract-call
Generates zero-knowledge proofs of Ethereum smart contract execution.
☆11Updated this week
Alternatives and similar repositories for sp1-contract-call:
Users that are interested in sp1-contract-call are comparing it to the libraries listed below
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆25Updated this week
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆15Updated last week
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆15Updated last week
- ☆23Updated 3 weeks ago
- ☆10Updated 2 years ago
- Solidity source debugger built around EthereumJS☆23Updated last week
- Cryptography libraries for ZKsync☆26Updated this week
- Minimal Merkle Tree implementations☆28Updated 3 weeks ago
- ZKM Development Template/Framework☆23Updated last week
- Pessimistic proof for the AggLayer.☆26Updated 6 months ago
- Implementation of the ERC6160 token standard☆14Updated 4 months ago
- ECDSA gadgets for plonky2☆17Updated last year
- The entry point for Rust projects to be run on Valida☆10Updated last month
- An API compatible port of the Stone prover.☆19Updated 2 months ago
- Gnosis Safe Tx Service API client & associated tooling☆20Updated last year
- High performance EraVM for zkSync.☆23Updated 2 months ago
- Configuration and scripts for running Astria☆21Updated 5 months ago
- Historical L1Block snapshotter for OP Stack chains☆16Updated last year
- A ticking-blockchain built on top of the Optimism Bedrock rollup architecture☆23Updated 2 years ago
- A minimal reimplementation of Tendermint in Rust☆25Updated 3 months ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated last month
- The official repo for 0xTitans Season 2☆13Updated last year
- Real-time bidding API scaffold for MevWallet transactions☆18Updated last year
- Groth16 verifier in EVM☆20Updated last year
- Scikit-learn compatible Python library for generating ZK proofs of execution☆18Updated last year
- Eddy255 elliptic curve parameters and implementation (embedding Ed25519)☆11Updated last year
- ☆28Updated last year
- ERC-3770☆18Updated 6 months ago
- ☆18Updated this week
- Projects from the Succinct ZK Residency☆13Updated 2 months ago