| .. |
|
bin
|
3e2c62c0bf
cleaning code
|
5 years ago |
|
old
|
8f37dc8aa5
added zkcircuit to start setup process
|
5 years ago |
|
bls_extensions.rs
|
5fe67b5db6
cleaning code
|
5 years ago |
|
endian.rs
|
d0a30306e5
added the Supervisor which gives us VM serialization, and added a plugin to the compiler to export binary data for the supervisor
|
5 years ago |
|
error.rs
|
9062c409c1
jubjub save and load proof
|
5 years ago |
|
lib.rs
|
9062c409c1
jubjub save and load proof
|
5 years ago |
|
serial.rs
|
5fe67b5db6
cleaning code
|
5 years ago |
|
vm.rs
|
97c99c75ea
added zn* function definition
|
5 years ago |
|
vm_serial.rs
|
9ae1f20d75
commented out Ok() from unimplemented functions
|
5 years ago |
ada
8f37dc8aa5
added zkcircuit to start setup process