informalsystems / quartz
Secure SGX Sidecar for CosmWasm
☆41Updated last week
Alternatives and similar repositories for quartz
Users that are interested in quartz are comparing it to the libraries listed below
Sorting:
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- An implementation of a DKG protocol for front-running protection on Anoma.☆82Updated 2 years ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆54Updated last week
- Formalization of Typhon protocol☆31Updated 4 months ago
- Tower-based ABCI interface.☆77Updated 3 months ago
- Implementation of Sunny's Mesh Security talk (Hackathon / Prototype status)☆88Updated 2 years ago
- Alternative CosmWasm VM☆25Updated last year
- Drop-in replacement for CometBFT in end-to-end tests☆24Updated last year
- A standard for tokenized vaults written in CosmWasm☆15Updated this week
- This is a zero knowledge IBC tendermint light client written using SP1 and ibc-rs (WIP)☆24Updated 5 months ago
- An example ABCI application making use of tendermint-rs and ibc-rs☆58Updated 6 months ago
- The ultimate CosmWasm framework for modular Interchain applications.☆71Updated last week
- DPC with Universal Setup☆46Updated last year
- A collection of ZK light client libraries for various blockchains☆51Updated 5 months ago
- An all-in-one IBC protocol providing fungible token transfer, interchain account, and async query functionalities☆40Updated last year
- Cross-chain protocol-owned liquidity agreements☆18Updated 7 months ago
- Cosmos SDK Module for Celestia DA☆52Updated 8 months ago
- Spartan on Arkworks☆42Updated 5 months ago
- Advanced fuzzing via Model Based Testing for Cosmos blockchains☆84Updated 2 years ago
- Tendermint in Solidity☆60Updated 3 years ago
- This is a solidity implementation of IBC v2.☆75Updated this week
- ☆21Updated 2 years ago
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆94Updated this week
- Evaluating & benchmarking ZKP compilation strategies.☆120Updated last year
- Mozak RISC-V Virtual Machine☆25Updated last month
- Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme☆75Updated this week
- Testudo: Spartan + Groth16☆52Updated last year
- The Foundation for Compliant Self-sovereign Wallets☆41Updated last year
- An EVM compatible framework for blockchain development with the Cosmos SDK☆59Updated this week
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated 2 months ago