FuelLabs / fuel-bft
Tendermint consensus in Rust
☆26Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for fuel-bft
- Fuel v2 transaction processing module in Rust.☆14Updated last year
- Sway standard library core primitives.☆15Updated 2 years ago
- Sway standard library.☆24Updated 2 years ago
- Pessimistic proof for the AggLayer.☆26Updated 4 months ago
- A simple, IPFS-based multi-party trusted setup utility for snarkjs☆27Updated last year
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆39Updated last week
- ☆24Updated 7 months ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆25Updated 2 months ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆50Updated 11 months ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated last year
- Starknet sequencer built with Tendermint Core☆53Updated last year
- A research-only integration of Sovereign with Celestia☆20Updated last year
- ☆39Updated 2 years ago
- Traits and utilities for working with finite fields☆17Updated 3 months ago
- A minimal reimplementation of Tendermint in Rust☆25Updated last month
- A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)☆36Updated this week
- CosmWasm + zkVM RISC-V EFI template☆21Updated 2 years ago
- Halo2 Merkle tree circuits☆32Updated 3 years ago
- Rescue and Poseidon hash function implementations☆42Updated 3 months ago
- An implementation of a namespaced merkle tree in Rust.☆27Updated 2 months ago
- Delve into low-level RISC Zero machine☆27Updated 10 months ago
- Shared peer-to-peer network of zero-knowledge provers☆15Updated 3 months ago
- An API compatible port of the Stone prover.☆19Updated 2 weeks ago
- ☆14Updated this week
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- ☆30Updated this week
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆13Updated 2 weeks ago
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated last year
- Formalization of Typhon protocol☆28Updated this week
- Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme☆63Updated this week