ChorusOne / tendermint-sol
Tendermint in Solidity
☆60Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for tendermint-sol
- Celestia Specifications☆51Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆79Updated 7 months ago
- Consensus nodes performing in unison!☆32Updated 5 months ago
- Implementation of tendermint light client in rust can be compiled to wasm.☆27Updated 3 years ago
- Bitcoin Light Client on Ethereum☆40Updated 5 months ago
- Kate commitment based PLONK recursive aggregation circuit☆40Updated 11 months ago
- Secure SGX Sidecar for CosmWasm☆21Updated this week
- A minimal KZG polynominal commitment library with a Solidity verifier☆69Updated last year
- ☆86Updated 2 years ago
- Implementation of substrate light client in rust, compilable to wasm.☆18Updated 3 years ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆39Updated last week
- ☆56Updated 11 months ago
- Cross chain shielded pool infrastructure / protocols.☆35Updated 3 months ago
- Implementation of Plonk by Hand in rust☆61Updated 8 months ago
- ☆41Updated 11 months ago
- ☆17Updated last year
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 2 years ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆21Updated 4 months ago
- A tool to work with zkSNARK circuits generated by Circom compiler☆99Updated 3 years ago
- Simple zk roll-ups☆37Updated last year
- ETHPrague☆31Updated last year
- An implementation of a namespaced merkle tree in Rust.☆27Updated 2 months ago
- gnark-rollup-ex☆11Updated 4 years ago
- Minimal Yul Transpilation to the Miden VM☆53Updated last year
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- Eth2 CLI debugging tool☆37Updated 9 months ago
- RISC-V interactive fraud-proof tech☆98Updated this week
- ☆17Updated last year
- Anonymous Proof of Ethereum Address Ownership☆42Updated last month