Brakedown: Linear-Time and Field-Agnostic SNARKs for R1CS
Alexander Golovnev, Jonathan Lee, Srinath Setty, Justin Thaler, Riad S. Wahby
Topics & Concepts
Gas meter proverSatisfiabilityMathematical proofComputer scienceTime complexityDiscrete mathematicsContext (archaeology)Theoretical computer scienceCode (set theory)AlgorithmMathematicsProgramming languageSet (abstract data type)GeometryBiologyPaleontologyCryptography and Data SecurityCryptographic Implementations and SecuritySecurity and Verification in Computing