protolambda / ztyp
ZTYP: typing for ZRNT - SSZ, Merkle partials, full caching and immutable typed state.
☆17Updated last year
Alternatives and similar repositories for ztyp:
Users that are interested in ztyp are comparing it to the libraries listed below
- An implementation of a namespaced merkle tree in Rust.☆29Updated 5 months ago
- an implementation of indexed merkle trees based on descriptions from the paper by tzialla et al https://eprint.iacr.org/2021/1263.pdf☆11Updated 6 months ago
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- Remote Attestation VErification☆31Updated 6 months ago
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆17Updated last year
- Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay☆34Updated 3 years ago
- A Go implementation of cryptographic primitives for Verkle Trees☆33Updated 6 months ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆16Updated 2 years ago
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆22Updated 7 months ago
- Starknet sequencer built with Tendermint Core☆53Updated last year
- A tool for single Ethereum archival block state proofs.☆35Updated last year
- Solidity verifier for Plonk☆41Updated 6 months ago
- Fast RLP encoder/decoder☆25Updated last year
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Cryptography libraries for ZKsync☆27Updated last week
- An Ethereum beacon data and execution trace explorer☆15Updated 3 months ago
- ☆14Updated 2 weeks ago
- Smart contracts for OPRHub protocol ✌🏻☆12Updated 4 years ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated last year
- Installation tooling for Noir☆25Updated 3 weeks ago
- SSZ-compatible tree hash implementation optimised for speed and security☆18Updated 2 weeks ago
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆47Updated 2 months ago
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- Syntax files for Yul☆18Updated 3 years ago
- Compare Bloxroute and Fiber transaction streams☆10Updated 2 months ago