bmorphism / risc0-cosmwasm-example
CosmWasm + zkVM RISC-V EFI template
☆22Updated 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
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- ☆12Updated last year
- A repository for the Leela VS the World project for On-Chain machine learning☆18Updated 6 months ago
- Demo of optimal Ate pairing implemented inside a zk-snark☆12Updated 2 years ago
- Groth16 verifier in EVM☆20Updated last year
- Starknet sequencer built with Tendermint Core☆53Updated last year
- Minimal Merkle Tree implementations☆28Updated 3 months ago
- An implementation of a namespaced merkle tree in Rust.☆30Updated 6 months ago
- A research-only integration of Sovereign with Celestia☆20Updated last year
- Client library for generating and using RLN ZK proofs☆30Updated last year
- ☆17Updated 2 years ago
- Partial Block Building with TEEs☆17Updated 11 months ago
- Decentralised Privacy-Preserving Contact Discovery☆18Updated last year
- A Solidity implementation of Halo2's Pasta curves☆49Updated last year
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- A tool for single Ethereum archival block state proofs.☆35Updated last year
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Updated last year
- Gather Ethereum metrics☆17Updated 6 years ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated 11 months ago
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Updated 11 months ago
- ☆15Updated last year
- ZK Theorem Proving☆10Updated 7 months ago
- Joint 2-Party generation of the one-time Verifiable Encrypted Signature (VES) aka adaptor signatures☆12Updated 2 years ago
- Cryptographic key management service providing a gRPC API and support for a variety of key storage methods including YubiHSM2 devices☆16Updated 2 years ago
- A list of awesome Cairo and STARK-adjacent projects☆16Updated 2 years ago
- ☆23Updated 2 years ago
- ☆33Updated last year
- Axiom smart contracts☆26Updated last year