 Dastan-glitch
|
0adf421d71
event_graph: rewrite find_ancestor()
|
3 years ago |
|
parazyd
|
02590af115
research/pvss: Finish SCRAPE impl.
|
3 years ago |
|
parazyd
|
a9ca678b8b
research/pvss: WIP SCRAPE Sage implementation
|
3 years ago |
|
parazyd
|
2d8733f269
research/pvss: Add separate script for DLEQ explainer.
|
3 years ago |
 x
|
541858e021
zk: add forgotten z public output values
|
3 years ago |
|
x
|
62a2d0bc50
zk: simplified nova proof
|
3 years ago |
|
x
|
edc788d155
nova IVC impl
|
3 years ago |
|
parazyd
|
6a024ab801
zkas: Add a field definition on top of the circuit file.
|
3 years ago |
|
parazyd
|
af01483bfb
sdk/python: Remove unused to_json function.
|
3 years ago |
|
parazyd
|
6f95bb156f
zk/gadget: Make small_range_check field-agnostic.
|
3 years ago |
|
greptile
|
723df2b19c
[research] add sage implementation of R1CS->QAP (#190)
|
3 years ago |
|
narodnik
|
6e81076224
doc: update contribute
|
3 years ago |
|
x
|
3abe9c8e9d
zk: prelim nova impl
|
3 years ago |
|
parazyd
|
bda805e5ff
sdk/python: Remove obsolete message in Makefile.
|
3 years ago |
|
parazyd
|
2483d088d6
zkrunner: Support reading witness data from stdin
|
3 years ago |
|
parazyd
|
3222188b46
sdk/python: Do not generate rustdoc.
|
3 years ago |
|
parazyd
|
cedfa3cdac
zktool: Remove obsolete binary
|
3 years ago |
|
parazyd
|
bcdca64897
zkrunner: Add example working witness.json file.
|
3 years ago |
|
parazyd
|
7f53e92516
zkrunner: Perform a rewrite with the cleaned up python bindings.
|
3 years ago |
|
parazyd
|
349807d8c8
sdk/python: Directly compile zkas source code as the ZkBinary constructor.
|
3 years ago |
|
parazyd
|
3f5148e149
zkrunner: Remove unused proofs and use symlink for opcodes proof.
|
3 years ago |
|
parazyd
|
a374dd2d3a
Move zkrunner/set_v1.zk to proof directory.
|
3 years ago |
|
parazyd
|
78a9b2a51c
chore: Add rust-toolchain.toml file
|
3 years ago |
|
parazyd
|
7860678e6a
zk: Export halo2::dev module.
|
3 years ago |
|
parazyd
|
e421b08512
contract: Match only .rs files for make dependencies.
|
3 years ago |
|
parazyd
|
988455f79b
sdk/python: Perform full code cleanup and make everything work.
|
3 years ago |
|
parazyd
|
66e399fd61
tau: clippy lint
|
3 years ago |
|
parazyd
|
27735bb6f4
net: Remove channels from P2P if broadcast fails.
|
3 years ago |
|
parazyd
|
3326e1b060
tau: Do not print unnecessary table data when piping task table output
|
3 years ago |
|
parazyd
|
e0f0b46135
Revert "tau: Sort tasks by id when printing them."
|
3 years ago |
