protolambda / remerkleable
Typed mutable SSZ views over cached and immutable binary merkle trees
☆23Updated 9 months ago
Alternatives and similar repositories for remerkleable
Users that are interested in remerkleable are comparing it to the libraries listed below
Sorting:
- Draft of SSZ specs repo☆16Updated 4 years ago
- Eth2 CLI debugging tool☆37Updated 2 months ago
- A smart contract to enhance the user experience of the `eth2` deposit contract.☆25Updated 10 months ago
- Everything you need to create your first account abstraction contract in one place☆30Updated 4 years ago
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆29Updated last year
- AZTEC protocol trusted setup MPC☆32Updated 10 months ago
- DEPRECATED - Eth2 data availability sampling - Testground plan☆27Updated 3 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 2 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Updated 2 years ago
- View Ethereum consensus-layer activity: network-wide historical view of attester performance as interactive map☆19Updated 2 years ago
- Proof of concept of an Eth2 secret shared validator node☆15Updated 3 years ago
- A data structure to perform weighted sortition in Solidity.☆21Updated last year
- Stress Testing ZK Systems Through Maximum Pain☆20Updated 3 weeks ago
- ☆19Updated 2 years ago
- preliminary, high-level eth2-client benchmarks☆16Updated 4 years ago
- ☆13Updated last week
- Novel zero-knowledge proof based social recovery of smart contract wallets☆35Updated 2 years ago
- Minimalist optimistic rollup tech☆13Updated 3 years ago
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- ☆18Updated last year
- zk-Snarks circuit for franchise proof☆13Updated last year
- Phase 2 of a multi-party trusted setup ceremony for the Semaphore zk-SNARK circuit☆17Updated 4 years ago
- ZTYP: typing for ZRNT - SSZ, Merkle partials, full caching and immutable typed state.☆17Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Vyper version manager☆25Updated 3 months ago
- Huff implementation of the BabyJubJub curve☆13Updated 5 years ago
- Implementation of the Funds Distribution Standard ERC-2222☆33Updated 2 years ago
- Solidity error logging☆23Updated 3 years ago
- Tool to generate EIP-712 compatible Solidity☆14Updated 3 years ago
- formal verification of multicollateral dai in the K framework☆15Updated 3 years ago