DistributedSystemsWiki / wiki
☆43Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for wiki
- RLN wrappers and implementation in Go☆11Updated 2 years ago
- preliminary, high-level eth2-client benchmarks☆16Updated 4 years ago
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆17Updated 4 years ago
- ☆30Updated 6 years ago
- LazyLedger academic prototype☆48Updated 4 years ago
- 😈 Eth2 Network Agent 😈☆31Updated 4 years ago
- Anonymous decentralized message broadcasting based on Libp2p and Dandelion++☆18Updated 4 years ago
- research, notes & ideas on various subjects☆67Updated 2 years ago
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆20Updated 5 years ago
- [DEPRECATED] ETH 2.0 SSZ - optimized Go implementation☆13Updated 4 years ago
- ☆38Updated 4 years ago
- A demo application built on the Tendermint ABCI. Tech owner: Peter Bourgon.☆35Updated 6 years ago
- ☆12Updated 2 years ago
- IPC implementation atop CometBFT☆16Updated 10 months ago
- Silkwork is an experimental playground for Ethereum 1x research. If things go well, it might morph into a grown C++17 Ethereum client wit…☆11Updated 5 years ago
- A testlab built with Nomad and Consul to analyze the behavior of p2p networks at scale☆22Updated 5 years ago
- This repository compiles the work that the BSC team does on Eth2.0.☆13Updated last year
- Pastry DHT implementation with a standalone libp2p compatible node☆12Updated 4 years ago
- Educational exercise on Bitcoin SPV in Solidity☆11Updated 2 years ago
- A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+☆18Updated 4 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆24Updated 5 years ago
- Solidity EVM is a restricted Ethereum Virtual Machine interpreter☆13Updated 6 years ago
- Bring Ethereum to IPFS☆26Updated 9 months ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆15Updated 4 years ago
- Gossipsub tests☆17Updated 2 years ago
- Efficient multi-asset confidential transactions☆34Updated 5 years ago
- ☆12Updated 4 years ago
- Interledger Settlement Engines written in Rust☆12Updated 4 years ago
- A flexible P2P networking library for upgradable distributed systems.☆38Updated 2 years ago