greptile 723df2b19c [research] add sage implementation of R1CS->QAP (#190) ...

Add sage code that runs through the Groth16 R1CS --> QAP conversion
contained in the article
"R1CS and QAP - From Zero to Hero with Finite Fields & sagemath"
https://risencrypto.github.io/R1CSQAP/

Co-authored-by: y <y>

2023-08-14 14:50:29 +02:00

..

3.3-encrypted-polynomial.py

mv script/research/{bltprf, groth16} script/research/zk/

2023-01-18 10:18:49 +01:00

3.4-restricted-polynomial.py

mv script/research/{bltprf, groth16} script/research/zk/

2023-01-18 10:18:49 +01:00

3.5-zero-knowledge.py

mv script/research/{bltprf, groth16} script/research/zk/

2023-01-18 10:18:49 +01:00

3.6-trusted-setup.py

mv script/research/{bltprf, groth16} script/research/zk/

2023-01-18 10:18:49 +01:00

4.4-proof-of-operation.py

mv script/research/{bltprf, groth16} script/research/zk/

2023-01-18 10:18:49 +01:00

4.5.1-polynomial-interpolation.py

mv script/research/{bltprf, groth16} script/research/zk/

2023-01-18 10:18:49 +01:00

4.5.2-multi-operation-polynomials.py

mv script/research/{bltprf, groth16} script/research/zk/

2023-01-18 10:18:49 +01:00

4.6.2-multi-variable-operand-polynomial.py

mv script/research/{bltprf, groth16} script/research/zk/

2023-01-18 10:18:49 +01:00

4.8-example-computation.py

mv script/research/{bltprf, groth16} script/research/zk/

2023-01-18 10:18:49 +01:00

qap.py

mv script/research/{bltprf, groth16} script/research/zk/

2023-01-18 10:18:49 +01:00

qap.sage

[research] add sage implementation of R1CS->QAP (#190)

2023-08-14 14:50:29 +02:00