|
.github
|
eda917af3b
add gui module and dfg binary: cargo run --bin dfg, to test
|
hace 5 años |
|
doc
|
e1ecd6358e
rangeproof pseudo code
|
hace 5 años |
|
lisp
|
d9aab92fe2
fix linear combination zero on enforce field
|
hace 5 años |
|
proofs
|
3eed8b7b87
added some debug
|
hace 5 años |
|
res
|
2ba2cbcfe1
add text to stallman's anger
|
hace 5 años |
|
scripts
|
f1a04cd6bb
Merge remote-tracking branch 'origin/master' into feature/lisp
|
hace 5 años |
|
src
|
2a3abaa573
add broadcast() function
|
hace 5 años |
|
.gitignore
|
7e9ed3210f
.gitignore
|
hace 5 años |
|
Cargo.toml
|
1e0475c86b
Merge pull request #29 from narodnik/feature/lisp
|
hace 5 años |
|
README.md
|
bff9f004e4
test commit
|
hace 5 años |
|
TODO.md
|
5845602ca4
added TODO list
|
hace 5 años |
|
run_jubjub.sh
|
6048079efc
exit if lisp script error
|
hace 5 años |
|
run_jubjub2.sh
|
816e46ceff
removed redudant line
|
hace 5 años |
|
run_mimc.sh
|
195bf849ed
mimc random changes
|
hace 5 años |
|
run_mimc2.sh
|
195bf849ed
mimc random changes
|
hace 5 años |
|
run_mint.sh
|
faaea967a6
added const for right and output on circuit enforce
|
hace 5 años |
|
run_network.sh
|
7dc7dbd88c
remove outdated switch from run_network.sh
|
hace 5 años |
|
zkvm.md
|
04ec9dc059
zkvm spec
|
hace 5 años |