narodnik cb8851df17 bit decomposition 5 years ago
..
finite_fields dfe076627b bls scalar field 5 years ago
codegen.py 6e9c86a6de added code for mint contract 5 years ago
jubjub.py 77b7552d5a make fake zk jubjub add 5 years ago
modp.py e2c77a2329 add jubjub.py 5 years ago
parser.py 8d17c4785c add new psuedocode contract script file 5 years ago
pism.py 147d099596 fix missing type checking for compiler 5 years ago
pism.vim 051d87fb18 create local variables in crypto ops section 5 years ago
preprocess.py e59009461b add simple preprocessor 5 years ago
qap.py b4f7590b26 QAP sample 5 years ago
sapvi.vim 8d17c4785c add new psuedocode contract script file 5 years ago
to_html.sh 4ae0f30feb tohtml script 5 years ago
vm.py cb8851df17 bit decomposition 5 years ago
vm_export_rust.py 90c255aa0b working point addition 5 years ago