Computational Proof Systems
search
Ctrlk
  • ๐Ÿ‘‹Cryptography and ZKP research note
  • Protocol and Primitives
    • Chapter One: ZK fundamentalschevron-right
    • Chapter Two: Interative and non-interative proofchevron-right
    • Chapter Three: Ploynomial Commitment Schemeschevron-right
    • Chapter Four: Sum Check Protocol
    • Chapter Five: GRK Protocolchevron-right
    • Chapter Six: Groth16 Protocol
    • Chapter Seven: PLONK Protocol
    • Chapter Eight: PLONK Protocol Extensionschevron-right
  • Sumcheck201 paper note
  • Keccak hash function
gitbookPowered by GitBook
Page cover
block-quoteOn this pagechevron-down

๐Ÿ‘‹Cryptography and ZKP research note

This is a rough documentation on protocols and primitives explored during my ZK quest...

Chapter One: ZK fundamentalschevron-rightChapter Two: Interative and non-interative proofchevron-rightChapter Three: Ploynomial Commitment Schemeschevron-rightChapter Four: Sum Check Protocolchevron-rightChapter Five: GRK Protocolchevron-rightChapter Six: Groth16 Protocolchevron-rightChapter Seven: PLONK Protocolchevron-rightChapter Eight: PLONK Protocol Extensionschevron-right

misc:

Sumcheck201 paper notechevron-rightKeccak hash functionchevron-right

Rust Code Implementation for these protocols can be found here;

Not found
NextChapter One: ZK fundamentalschevron-right

Last updated 9 months ago