Max

A Princeton textbook for programmers on Bitcoin's consensus, privacy and contract mechanisms, what each assumes, and which duties stay outside them.

Dorier, Strait and Ficsor teach C# programmers to build Bitcoin transactions with NBitcoin, separating spending rules, asset history and trusted services.

A developer's reference showing how Bitcoin keys, recovery data, signatures, fees, relay policy and channel deadlines must work together for self-custody.

A community manual that teaches zk-SNARKs from modular arithmetic upward, using tiny worked examples to build a Groth16 proof by hand.

Boneh and Shoup's unfinished 2023 draft teaches cryptography through attack games that tie every guarantee to stated adversary powers and assumptions.

Thaler explains how verifiers check outsourced computation, separating completeness, soundness, extraction and zero-knowledge, then tracing SNARK costs through commitments and compilers.

Six specs define how Marmot delivers encrypted group messaging over decentralized Nostr relays, with reduced metadata exposure and optional server-assisted push.