Skip to content

SotaZK Labs docs

IP

Initializing search

SotaZK Labs docs

DOCUMENTATION REPOSITORY
Articles
Articles
- Proofs arguments and zero knowledge
  Proofs arguments and zero knowledge
- Quadratic arithmetic programs from zero to hero
  Quadratic arithmetic programs from zero to hero
  - Quadratic Arithmetic Programs (QAP)
- Seminar innovative internet technologies
  Seminar innovative internet technologies
  - Seminar Innovative Internet Technologies
- Zcash protocol
  Zcash protocol
  - Chapter 1: Introduction
  - Chapter 2: Notations
- Zk snarks under the hood
  Zk snarks under the hood
  - Zk snarks under the hood
Case studies
Case studies
- Keyless Account for Telegram
Docs
Docs
Terms
Terms

IP ¶

The class of all languages solvable by an interactive proof system with a polynomial time verifier.

Comments

Previous Interactive Proofs

Made with Material for MkDocs with emoji by Twemoji