research, notes & ideas on various subjects
☆65Jan 20, 2022Updated 4 years ago
Alternatives and similar repositories for research
Users that are interested in research are comparing it to the libraries listed below
Sorting:
- Pastry DHT implementation with a standalone libp2p compatible node☆12Jun 22, 2020Updated 5 years ago
- MinimaDB: A persistent & embeddable KV store written in Nim.☆19Jul 21, 2020Updated 5 years ago
- ☆42Apr 12, 2020Updated 5 years ago
- 🦀 Rust implementation of sinkhole private information retrieval☆16Apr 16, 2021Updated 4 years ago
- Verification-Driven Development☆21Mar 26, 2021Updated 4 years ago
- ☆15Jul 8, 2021Updated 4 years ago
- An easy tool to apply transactions to the current EVM state. Optimized for MEV.☆78Sep 21, 2021Updated 4 years ago
- Radicle Developers of All Countries, Unite!☆16Apr 6, 2021Updated 4 years ago
- A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+☆18May 8, 2020Updated 5 years ago
- ☆11Mar 6, 2026Updated 2 weeks ago
- A Python simulator used to model cross shard transaction strategies for Ethereum 2.0☆11May 3, 2024Updated last year
- BFT consensus in Rust☆19Jan 26, 2022Updated 4 years ago
- [DEPRECATED] Common tests for all Eth2.0 implementations☆20Apr 29, 2019Updated 6 years ago
- A Uniswap Fork enabling ERC20 to ERC20 trades☆12Jan 24, 2023Updated 3 years ago
- research on privacy and security in p2p and decentralised systems☆52Jun 28, 2020Updated 5 years ago
- ☆30Oct 31, 2018Updated 7 years ago
- notes, ideas and whatnot☆42Dec 1, 2021Updated 4 years ago
- want to hack on libp2p? this repo tracks libp2p endeavors eligible for incentivization.☆40May 1, 2025Updated 10 months ago
- A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.☆13Dec 20, 2019Updated 6 years ago
- Gather Ethereum metrics☆17Dec 10, 2018Updated 7 years ago
- [toy project 🎈] a libp2p interactive shell☆35Feb 25, 2023Updated 3 years ago
- ☆19May 5, 2020Updated 5 years ago
- ☆14May 3, 2019Updated 6 years ago
- Implements the Barreto-Naehrig (BN) curve as used by Ethereum☆12May 31, 2019Updated 6 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Oct 25, 2022Updated 3 years ago
- ☆14Mar 2, 2021Updated 5 years ago
- Archanova monorepo☆19Aug 19, 2019Updated 6 years ago
- https://eprint.iacr.org/2020/1516.pdf☆19Jan 2, 2023Updated 3 years ago
- Shows how optimistic geth modifies transactions that get submitted to it by converting them to OVM Messages and then calls to the OVM Exe…☆27Jan 23, 2021Updated 5 years ago
- An EXPERIMENTAL implementation of the CPace PAKE, instantiated with the Ristretto255 group. In Rust☆16Aug 25, 2020Updated 5 years ago
- Working Copy of the NSEC5 Specification☆15Nov 10, 2020Updated 5 years ago
- IPC implementation atop CometBFT☆17Jan 11, 2024Updated 2 years ago
- ☆10Oct 2, 2021Updated 4 years ago
- The monorepo for Meson project☆11May 30, 2024Updated last year
- Thinking in code☆64Oct 7, 2025Updated 5 months ago
- ENS the fun and easy way; like a box of cereal, there is a toy at the bottom.☆36Dec 30, 2022Updated 3 years ago
- formal verification of multicollateral dai in the K framework☆44Sep 10, 2021Updated 4 years ago
- LazyLedger academic prototype☆50Jun 26, 2020Updated 5 years ago
- The web front-end for C++ Patterns.☆16Jul 5, 2021Updated 4 years ago