Popular repositories

1. zero-chain zero-chain Public

   A privacy-preserving blockchain on Substrate

   Rust 260 47

2. confidential-computing-modules confidential-computing-modules Public

   A Module for Privacy-preserving State Transitions with Verifiability

   Rust 88 10

3. verified-vyper-contracts verified-vyper-contracts Public archive

   FVyper: A collection of useful Vyper contracts developed with formal methods

   Python 55 16

4. cordage cordage Public archive

   Cordage: the blockchain interoperability project!

   Kotlin 52 6

5. plasma-mvp-vyper plasma-mvp-vyper Public archive

   Implementation of Minimal Viable Plasma in Vyper

   JavaScript 51 8

6. cbc-casper-proof cbc-casper-proof Public

   Proofs of properties of CBC Casper

   TeX 35 4