timewave-computer / valence-protocol
A trust-minimized cross-chain execution environment.
☆13Updated this week
Alternatives and similar repositories for valence-protocol:
Users that are interested in valence-protocol are comparing it to the libraries listed below
- ☆17Updated this week
- ☆24Updated last year
- Secure SGX Sidecar for CosmWasm☆35Updated this week
- Pessimistic proof for the AggLayer.☆26Updated 9 months ago
- A research-only integration of Sovereign with Celestia☆20Updated last year
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆49Updated 3 months ago
- Tower-based ABCI interface.☆77Updated last month
- A minimal reimplementation of Tendermint in Rust☆25Updated 5 months ago
- An instantiation of the Poseidon hash for use with decaf377☆29Updated 3 weeks ago
- decaf377 is a prime-order group designed for use in SNARKs over BLS12-377☆15Updated 3 weeks ago
- An implementation of a namespaced merkle tree in Rust.☆30Updated 6 months ago
- Rust library for accumulation schemes☆23Updated 2 years ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 3 months ago
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated 2 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- ☆31Updated 11 months ago
- Starknet sequencer built with Tendermint Core☆53Updated last year
- Rust implementation of the Modified Patricia Tree (aka Trie).☆20Updated 5 months ago
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Updated last year
- Cryptographic protocols☆38Updated last year
- ☆15Updated 3 years ago
- Shielding tokens with zkSNARKs☆21Updated 11 months ago
- Implementations of proof-carrying data☆34Updated 2 years ago
- A rust implementation of the Falcon post-quantum signature scheme☆16Updated 4 months ago
- Cryptographic key management service providing a gRPC API and support for a variety of key storage methods including YubiHSM2 devices☆16Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- A collection of technical notes from the Geometry research team.☆47Updated last year
- Cryptography libraries for ZKsync☆29Updated this week
- RLN on KZG☆20Updated last year
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆37Updated 2 years ago