succinctlabs / sp1-tendermint-example
An example of a ZK Tendermint light client on Ethereum powered by SP1.
☆25Updated last month
Related projects ⓘ
Alternatives and complementary repositories for sp1-tendermint-example
- A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)☆32Updated this week
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆11Updated this week
- High performance EraVM for zkSync.☆23Updated last week
- ☆14Updated 4 months ago
- Pessimistic proof for the AggLayer.☆26Updated 4 months ago
- Integration of the Kakarot Ethereum execution layer in the Reth client.☆26Updated this week
- ☆42Updated this week
- An API compatible port of the Stone prover.☆19Updated this week
- ☆31Updated 6 months ago
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- Keccak-f[1600] permutation in the EVM☆25Updated this week
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated 2 months ago
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆19Updated this week
- Configuration and scripts for running Astria☆20Updated 3 months ago
- A world's first zkWASM with a SuperNova backend☆19Updated this week
- Axiom smart contracts☆27Updated last year
- ☆23Updated 7 months ago
- Sidecar to Enable Rollup Extensions☆48Updated this week
- ☆28Updated last year
- Contracts for onchain verification of SP1.☆59Updated last week
- customizable halo2 circuits batcher☆30Updated last week
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆17Updated last month
- Breathe air☆22Updated 5 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆33Updated this week
- ☆29Updated 2 weeks ago
- Rust implementation of KZG point evaluation☆25Updated last month
- Remote Attestation VErification☆29Updated 3 months ago
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆29Updated 11 months ago
- storage proof made by sp1☆24Updated last month
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆32Updated 6 months ago