From Polynomial IOP and Commitments to Non-malleable zkSNARKs
Antonio Faonio, Dario Fiore, Markulf Kohlweiss, Luigi Russo, Michał Zając
Topics & Concepts
Mathematical proofOracleComputer scienceCommitRandom oracleProperty (philosophy)PolynomialAlgebraic numberTheoretical computer scienceCompilerMathematicsProgramming languageComputer securityDatabaseEncryptionPhilosophyPublic-key cryptographyGeometryEpistemologyMathematical analysisCryptography and Data SecuritySecurity and Verification in ComputingCryptographic Implementations and Security