zkvalidator / mina-vrf-rs
☆37Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for mina-vrf-rs
- Implementation of substrate light client in rust, compilable to wasm.☆18Updated 3 years ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆24Updated 3 years ago
- TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation☆14Updated last year
- Celestia Specifications☆51Updated 2 years ago
- preliminary, high-level eth2-client benchmarks☆16Updated 4 years ago
- Implementation of tendermint light client in rust can be compiled to wasm.☆27Updated 3 years ago
- An implementation of a namespaced merkle tree in Rust.☆27Updated 2 months ago
- ☆20Updated 2 years ago
- A gRPC server wrapper for the https://github.com/axelarnetwork/tofn library.☆25Updated 4 months ago
- ☆17Updated 9 months ago
- Celo Light Client (IBC compatible)☆16Updated 2 years ago
- Deprecated in favor of https://github.com/kurtosis-tech/eth2-package☆29Updated last year
- Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum☆36Updated 5 years ago
- Codec library for protobuf3 in Solidity☆14Updated 7 months ago
- Eth2 CLI debugging tool☆37Updated 9 months ago
- LazyLedger academic prototype☆48Updated 4 years ago
- Hermez node Go implementation☆61Updated 7 months ago
- Solidity verifier for Plonk☆41Updated 3 months ago
- a sketch of what a zkvm could look like☆26Updated 3 years ago
- Sagan is an observability tool for Cosmos and other Tendermint applications☆37Updated last year
- Cross-chain relays :)☆54Updated last year
- EVM interpreter compatible with the evm2wasm interface☆42Updated 2 years ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated last year
- Tendermint in Solidity☆60Updated 2 years ago
- 😈 Eth2 Network Agent 😈☆31Updated 4 years ago
- Bitcoin Light Client on Ethereum☆40Updated 5 months ago
- ☆16Updated 2 years ago
- An implementation of a DKG protocol for front-running protection on Anoma.☆78Updated last year
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆15Updated 4 years ago
- Oracle feeder service (presently supporting Terra)☆14Updated last year