|
.github
|
eda917af3b
add gui module and dfg binary: cargo run --bin dfg, to test
|
5 年之前 |
|
doc
|
5ad9919199
remove private secret value from mint.pseudo
|
5 年之前 |
|
examples
|
cd11a1e55f
halo2 examples
|
5 年之前 |
|
lisp
|
40e79b2c1d
clear all warning messages
|
5 年之前 |
|
proofs
|
83199007e1
add tutorial example, corresponds to zk-explainer document
|
5 年之前 |
|
res
|
60eedb7e70
Save asset_id at walletdb.
|
5 年之前 |
|
scripts
|
f28ec92099
EC addition function
|
5 年之前 |
|
src
|
83199007e1
add tutorial example, corresponds to zk-explainer document
|
5 年之前 |
|
.gitignore
|
2374e7f4de
Add Cargo.lock
|
5 年之前 |
|
Cargo.lock
|
1f719bed60
Remove gui and gfx code, modules and dependencies.
|
5 年之前 |
|
Cargo.toml
|
b3e6c93a4b
made dummy cashier
|
5 年之前 |
|
IDEOLOGY.md
|
1bd2fced86
annotated 'definition of democratic civilization' to improve readability
|
5 年之前 |
|
LICENSE.md
|
642e41a412
Added GNU GPLv3 license.
|
5 年之前 |
|
README.md
|
9897f1bb52
fixed typo in readme
|
5 年之前 |
|
TODO.md
|
5845602ca4
added TODO list
|
5 年之前 |
|
run_jubjub.sh
|
6048079efc
exit if lisp script error
|
5 年之前 |
|
run_jubjub2.sh
|
816e46ceff
removed redudant line
|
5 年之前 |
|
run_mimc.sh
|
195bf849ed
mimc random changes
|
5 年之前 |
|
run_mimc2.sh
|
195bf849ed
mimc random changes
|
5 年之前 |
|
run_mint.sh
|
faaea967a6
added const for right and output on circuit enforce
|
5 年之前 |
|
run_network.sh
|
7dc7dbd88c
remove outdated switch from run_network.sh
|
5 年之前 |
|
rust-toolchain
|
fe8f82e88d
Add rust-toolchain file locking the rust version to 1.51.
|
5 年之前 |
|
rustfmt.toml
|
769f9132f6
commented out unstable features from rustfmt.toml
|
5 年之前 |
|
zkvm.md
|
04ec9dc059
zkvm spec
|
5 年之前 |