succinctlabs / sp1-tendermint-example
An example of a ZK Tendermint light client on Ethereum powered by SP1.
☆25Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for sp1-tendermint-example
- An API compatible port of the Stone prover.☆19Updated 3 weeks ago
- High performance EraVM for zkSync.☆23Updated 3 weeks ago
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆13Updated 2 weeks ago
- A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)☆36Updated this week
- ☆24Updated 7 months ago
- ☆15Updated 5 months ago
- Pessimistic proof for the AggLayer.☆26Updated 4 months ago
- customizable halo2 circuits batcher☆30Updated this week
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated 2 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 3 months ago
- ☆32Updated 7 months ago
- ZKM Development Template/Framework☆18Updated last week
- Rust implementation of KZG point evaluation☆27Updated 2 months ago
- Smart contracts for onchain verification of SP1.☆59Updated 3 weeks ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆17Updated last month
- Integration of the Kakarot Ethereum execution layer in the Reth client.☆29Updated this week
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- Breathe air☆22Updated 6 months ago
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆29Updated this week
- Keccak-f[1600] permutation in the EVM☆25Updated 2 weeks ago
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- ☆43Updated this week
- ☆30Updated 3 weeks ago
- An observatory fork of SP1 (contact: @huitseeker)☆50Updated this week
- Transports, Middleware, and Networks for the OP Stack built on Alloy☆41Updated this week
- ☆28Updated last year
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆59Updated 3 months ago
- ☆31Updated 8 months ago
- Shared peer-to-peer network of zero-knowledge provers☆15Updated 3 months ago
- Configuration and scripts for running Astria☆20Updated 3 months ago