timewave-computer / valence-protocolLinks
A trust-minimized cross-chain execution environment.
☆13Updated last month
Alternatives and similar repositories for valence-protocol
Users that are interested in valence-protocol are comparing it to the libraries listed below
Sorting:
- ☆22Updated 3 months ago
- An implementation of a namespaced merkle tree in Rust.☆31Updated 5 months ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆63Updated 6 months ago
- Secure SGX Sidecar for CosmWasm☆58Updated last week
- CosmWasm + zkVM RISC-V EFI template☆23Updated 3 years ago
- A research-only integration of Sovereign with Celestia☆20Updated 2 years ago
- Tower-based ABCI interface.☆78Updated 9 months ago
- 🦀 celestia-node REST client in Rust.☆18Updated 3 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- Implementations of proof-carrying data☆36Updated 3 years ago
- Tendermint in Solidity☆61Updated 3 years ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 3 years ago
- An implementation of a DKG protocol for front-running protection on Anoma.☆83Updated 2 years ago
- Celestia Specifications☆50Updated 3 years ago
- ☆30Updated 3 years ago
- Implementation of tendermint light client in rust can be compiled to wasm.☆28Updated 4 years ago
- Starknet sequencer built with Tendermint Core☆52Updated 2 years ago
- ☆27Updated 3 years ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆38Updated 3 years ago
- A Rust library for proof-carrying disclosures☆22Updated last year
- ☆17Updated 3 years ago
- A minimal reimplementation of Tendermint in Rust☆25Updated 5 months ago
- Benchmarking Polynomial Commitments☆50Updated 2 years ago
- ☆19Updated last week
- Danksharding Builder with GPU acceleration☆52Updated 2 years ago
- An observatory fork of SP1☆75Updated 9 months ago
- Prototype of fraud proofs.☆12Updated 3 years ago
- ☆31Updated 7 months ago
- Cryptographic protocols☆38Updated 2 years ago