Popular repositories Loading

1. sevenlayer sevenlayer Public

   A Complete Guide to Zero-Knowledge Proof Systems

   Python 110 16

2. dancesWithClaws dancesWithClaws Public

   TypeScript 41 19

3. jolt-tla jolt-tla Public

   Formal specification for Jolt zkVM continuations: Prose spec (requirements) + TLA+ (model checking) + Lean 4 (executable oracle). 30 verified security invariants.

   Lean 8 2

4. naivechain naivechain Public

   Forked from lhartikk/naivechain

   A blockchain implementation in 200 lines of code

   JavaScript 7

5. haskoin haskoin Public

   Forked from jprupp/haskoin-core

   Haskell implementation of the Bitcoin protocol

   Haskell 6

6. ProjectLegends ProjectLegends Public

   Embeddable x86 emulation framework built on DOSBox-X. Context-based state isolation, deterministic stepping, full state serialization.

   C++ 5