Zero-Knowledge IOPs with Linear-Time Prover and Polylogarithmic-Time Verifier
Jonathan Bootle, Alessandro Chiesa, Siqi Liu
Topics & Concepts
Gas meter proverZero-knowledge proofRandom oracleMathematical proofCryptographySatisfiabilityOracleComputer scienceTime complexityDiscrete mathematicsCryptographic primitiveHash functionMathematicsTheoretical computer scienceAlgorithmCryptographic protocolPublic-key cryptographyEncryptionSoftware engineeringOperating systemGeometryComputer securityCryptography and Data SecurityComplexity and Algorithms in GraphsCryptographic Implementations and Security