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
- Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay☆34Updated 2 years ago
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆16Updated 2 years ago
- A Go implementation of cryptographic primitives for Verkle Trees☆33Updated 5 months ago
- An Ethereum beacon data and execution trace explorer☆15Updated last month
- Fast RLP encoder/decoder☆25Updated last year
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- SSZ-compatible tree hash implementation optimised for speed and security☆18Updated 3 weeks ago
- ☆14Updated this week
- Remote Attestation VErification☆30Updated 5 months ago
- Solidity verifier for Plonk☆41Updated 5 months ago
- Installation tooling for Noir☆24Updated 6 months ago
- Typed mutable SSZ views over cached and immutable binary merkle trees☆23Updated 6 months ago
- powdr application running Ethereum tests via revm☆17Updated 6 months ago
- ☆21Updated 2 years ago
- ☆23Updated 9 months ago
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- circom runtime☆20Updated 3 months ago
- Blob P2P Test Tool☆20Updated 10 months ago
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆17Updated last year
- Smart contracts for OPRHub protocol ✌🏻☆12Updated 4 years ago
- Traits and utilities for working with finite fields☆17Updated 5 months ago
- Starknet sequencer built with Tendermint Core☆53Updated last year
- ☆14Updated last year
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated last year
- An implementation of a namespaced merkle tree in Rust.☆29Updated 4 months ago
- ☆10Updated last year
- A tool for single Ethereum archival block state proofs.☆33Updated last year