Change the repository type filter
All
Repositories list
41 repositories
- Hyperbridge scales verifiable interoperability
- The most advanced solidity library for merkle (multi) proof verification of different kinds of merkle trees
- zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the range of possibilities within Web3 to use different cryptographic primitives and systems.
- Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
- Library for verifying ethereum state proofs.
- The Interoperable State Machine Protocol.
- A portable library for proving & verifying ethereum's sync committee consensus proofs.