Transparent SNARKs from DARK Compilers
Benedikt Bünz, Ben Fisch, Alan Szepieniec
Topics & Concepts
Computer scienceGas meter proverCompilerTheoretical computer scienceCryptographyMathematical proofPolynomialDiscrete mathematicsAlgorithmMathematicsProgramming languageGeometryMathematical analysisCryptography and Data SecurityCryptographic Implementations and SecurityCryptography and Residue Arithmetic