TruebitProtocol / awesome-truebit
A library of Truebit tasks, utilities, and ongoing projects
☆22Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for awesome-truebit
- ☆37Updated 3 years ago
- DEPRECATED - Eth2 data availability sampling - Testground plan☆27Updated 2 years ago
- Implementation of substrate light client in rust, compilable to wasm.☆18Updated 3 years ago
- Celestia Specifications☆51Updated 2 years ago
- Experimenting with different surround-vote matching optimizations for ETH 2.0☆14Updated 5 years ago
- Bitcoin Light Client on Ethereum☆40Updated 5 months ago
- Implementation of tendermint light client in rust can be compiled to wasm.☆27Updated 3 years ago
- AZTEC protocol specification☆31Updated 4 years ago
- Celo Light Client (IBC compatible)☆16Updated 2 years ago
- 😈 Eth2 Network Agent 😈☆31Updated 4 years ago
- ☆19Updated 4 years ago
- Website!☆21Updated 2 years ago
- LazyLedger academic prototype☆48Updated 4 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- Cross-chain swaps with metatransactions☆18Updated last year
- Specification of the RenVM MPC algorithm☆19Updated 4 years ago
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated last year
- Merkle tree optimized for lists of sequentially appended data and its proofs