HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates
Binyi Chen, Benedikt Bünz, Dan Boneh, Zhenfei Zhang
Topics & Concepts
Computer scienceGas meter proverLookup tableMultilinear mapDegree (music)PolynomialBottleneckAlgorithmTheoretical computer scienceMathematicsProgramming languageEmbedded systemGeometryMathematical analysisPhysicsPure mathematicsMathematical proofAcousticsCryptography and Data SecurityComplexity and Algorithms in GraphsFormal Methods in Verification