bmorphism / risc0-cosmwasm-exampleLinks
CosmWasm + zkVM RISC-V EFI template
☆23Updated 2 years ago
Alternatives and similar repositories for risc0-cosmwasm-example
Users that are interested in risc0-cosmwasm-example are comparing it to the libraries listed below
Sorting:
- An implementation of a namespaced merkle tree in Rust.☆31Updated 2 weeks ago
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- Celestia derivation pipeline and proof crate built with kona☆14Updated last month
- relays blocks from the shared sequencer to the DA layer☆27Updated 2 years ago
- ☆19Updated 3 weeks ago
- ☆21Updated this week
- A Cairo VM prover implemented using Winterfell☆16Updated 2 years ago
- Installation tooling for Noir☆27Updated 3 weeks ago
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- Cryptographic key management service providing a gRPC API and support for a variety of key storage methods including YubiHSM2 devices☆17Updated 2 years ago
- ☆40Updated 3 years ago
- Spire Labs' litepaper (it's pretty based bro)☆16Updated 7 months ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆27Updated 2 weeks ago
- ☆15Updated last week
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- Groth16 verifier in EVM☆21Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Updated last year
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Updated last year
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆16Updated last year
- ☆31Updated last year
- A repository for the Leela VS the World project for On-Chain machine learning☆19Updated 8 months ago
- A research-only integration of Sovereign with Celestia☆20Updated 2 years ago
- ☆17Updated 2 years ago
- ☆19Updated last year
- A tool for single Ethereum archival block state proofs.☆35Updated last year
- Solidity verifier for Plonk☆42Updated 10 months ago
- Benchmarking Polynomial Commitments☆49Updated last year
- ☆33Updated last year
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago