LaBRADOR: Compact Proofs for R1CS from Module-SIS
Ward Beullens, Gregor Seiler
Topics & Concepts
Mathematical proofHash functionComputer scienceCryptographyCombinatorial proofLattice (music)Proof of conceptTheoretical computer scienceDiscrete mathematicsAlgorithmMathematicsProgramming languagePhysicsAcousticsGeometryOperating systemCryptography and Data SecurityCryptographic Implementations and SecurityComplexity and Algorithms in Graphs