Halo Infinite: Proof-Carrying Data from Additive Polynomial Commitments
Dan Boneh, Justin Drake, Ben Fisch, Ariel Gabizon
Topics & Concepts
Computer scienceRandom oracleMathematical proofTheoretical computer sciencePolynomialGas meter proverDiscrete mathematicsMathematicsPublic-key cryptographyEncryptionOperating systemGeometryMathematical analysisCryptography and Data SecurityBlockchain Technology Applications and SecurityComplexity and Algorithms in Graphs