Knowledge base
Wiki
Public articles from my personal knowledge base — covering zero-knowledge proofs, cryptography, StarkNet, agribusiness technology, and security.
Category
Commitment Schemes
> A commitment scheme is a cryptographic primitive that allows a party to commit to a chosen value while keeping it hidden from others, with the ability to reveal the committed value later. Think of i
Read -> Zero KnowledgeFRI Protocol
> FRI is the low-degree testing engine at the heart of STARK proof systems. It lets a prover convince a verifier that a committed function is "close to" a low-degree polynomial — without the verifier
Read -> CryptographyMerkle Trees
> A Merkle tree is a hash-based data structure where every leaf node contains the hash of a data block, and every internal node contains the hash of its children. The single root hash at the top acts
Read -> Zero KnowledgePrivacy Patterns in ZK
> Zero-knowledge proofs are often equated with "privacy," but the relationship is nuanced. ZK is a proof-system property — it guarantees the verifier learns nothing beyond the statement's truth. Priva
Read -> Zero KnowledgeSTARKs vs SNARKs
> Two families of zero-knowledge proofs. Both prove that a computation was performed correctly without revealing the input data — but they make fundamentally different tradeoffs in trust, proof size,
Read ->