timewave-computer / valence-protocolLinks
A trust-minimized cross-chain execution environment.
☆13Updated 3 weeks ago
Alternatives and similar repositories for valence-protocol
Users that are interested in valence-protocol are comparing it to the libraries listed below
Sorting:
- An implementation of a namespaced merkle tree in Rust.☆31Updated 4 months ago
- ☆22Updated 2 months ago
- Secure SGX Sidecar for CosmWasm☆56Updated 2 weeks ago
- A research-only integration of Sovereign with Celestia☆20Updated 2 years ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆63Updated 5 months ago
- CosmWasm + zkVM RISC-V EFI template☆23Updated 3 years ago
- ☆30Updated 3 years ago
- 🦀 celestia-node REST client in Rust.☆18Updated 3 years ago
- Danksharding Builder with GPU acceleration☆51Updated 2 years ago
- Tendermint in Solidity☆61Updated 3 years ago
- Tower-based ABCI interface.☆78Updated 8 months ago
- https://eprint.iacr.org/2020/1516.pdf☆19Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated 2 years ago
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- ☆42Updated 4 years ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 3 years ago
- implentation of Ligerito☆20Updated 5 months ago
- Implementations of proof-carrying data☆35Updated 3 years ago
- Benchmarking Polynomial Commitments☆50Updated 2 years ago
- ☆27Updated last year
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆38Updated 2 years ago
- ☆30Updated 2 years ago
- A minimal reimplementation of Tendermint in Rust☆25Updated 4 months ago
- ☆31Updated 6 months ago
- A verifiable supercomputer☆74Updated 4 months ago
- Celestia Specifications☆50Updated 3 years ago
- ☆24Updated 2 years ago
- A Rust library for proof-carrying disclosures☆21Updated last year
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆25Updated 4 years ago