ChorusOne / tendermint-solLinks
Tendermint in Solidity
☆60Updated 3 years ago
Alternatives and similar repositories for tendermint-sol
Users that are interested in tendermint-sol are comparing it to the libraries listed below
Sorting:
- Celestia Specifications☆50Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- ☆28Updated 2 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 2 years ago
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- Eth2 CLI debugging tool☆37Updated 3 months ago
- A tool to work with zkSNARK circuits generated by Circom compiler☆103Updated 3 years ago
- RISC-V interactive fault proof tech☆103Updated 3 weeks ago
- An implementation of a namespaced merkle tree in Rust.☆31Updated last month
- Simple implementation of KZG commitments in C☆35Updated 2 years ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Updated 11 months ago
- Implementation of substrate light client in rust, compilable to wasm.☆18Updated 4 years ago
- A minimal KZG polynominal commitment library with a Solidity verifier☆71Updated last year
- Bitcoin Light Client on Ethereum☆41Updated 11 months ago
- Kate commitment based PLONK recursive aggregation circuit☆40Updated last year
- A generator of protobuf encoders compliant with ADR-27 (This is a fork of https://github.com/nutsfinance/solidity-protobuf)☆20Updated last year
- Cross chain shielded pool infrastructure / protocols.☆36Updated 9 months ago
- Solidity verifier for Plonk☆42Updated 9 months ago
- ☆46Updated 3 years ago
- ☆72Updated last year
- Implementation of tendermint light client in rust can be compiled to wasm.☆28Updated 4 years ago
- POC construction of superlight client for Ethereum Proof of Stake using interactive bisection games☆39Updated last year
- ETHPrague☆31Updated last year
- Kate-Zaverucha-Goldberg Polynomial Commitments☆29Updated 3 years ago
- Email verification circuit in halo2☆68Updated 10 months ago
- Solidity proofs that a historical event occurred☆28Updated last month
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- ☆17Updated 2 years ago
- Configurable Asset Privacy☆34Updated last year
- ☆30Updated 2 years ago