lita-xyz / valida-releases
Public releases for the Valida toolchain
☆19Updated last month
Alternatives and similar repositories for valida-releases:
Users that are interested in valida-releases are comparing it to the libraries listed below
- ☆17Updated 3 weeks ago
- ☆40Updated 6 months ago
- ☆31Updated last year
- On-chain Ethereum light client built with SP1☆46Updated this week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 8 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆50Updated 10 months ago
- Smart contracts for onchain verification of SP1.☆88Updated last month
- ☆31Updated last year
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated last month
- revm/reth block proving on Valida☆16Updated 2 months ago
- ☆50Updated last year
- Cairo verification of webauthn authentication credentials☆32Updated last year
- ☆2Updated last year
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆21Updated 2 weeks ago
- Base64 encoding for Aztec's noir language☆16Updated last year
- ZKM Development Template/Framework☆25Updated last week
- A monorepo of reusable Noir circuits.☆40Updated last week
- BigInt library for Aztec's noir language☆32Updated last year
- A collection of ZK light client libraries for various blockchains☆49Updated 4 months ago
- ☆16Updated last week
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 2 years ago
- UPA is the proof aggregation engine built by NEBRA team.☆30Updated 3 weeks ago
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆40Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated last month
- ☆33Updated last year
- Cairo-VM STONE STARK Verifier Rust implementation☆42Updated 2 months ago
- Axiom smart contracts☆26Updated last year
- ☆47Updated this week