 aggstam
|
ec7ebd09fd
script/research/dhtd: rewrite methods to prevent lock race conditions,
|
4 years ago |
|
parazyd
|
b797fd6b76
zk/gadget/less_than: Use layouter.namespace in test circuit.
|
4 years ago |
|
parazyd
|
f2321747cb
ircd: Fix attempt for edge case where IRC client panics the threads.
|
4 years ago |
|
parazyd
|
e539d254f7
zk/gadget/less_than: More test cases for 64bit.
|
4 years ago |
|
parazyd
|
34bae7dc02
zk/gadget: Clean up.
|
4 years ago |
|
parazyd
|
9cef0dccb2
zk/gadgets/native_range_check: Add TODO note for strict decompose.
|
4 years ago |
|
parazyd
|
c35bed54f2
zk/gadget/less_than: Proper 2^m handling.
|
4 years ago |
|
Janmajaya Mall
|
4d64237cb3
zk/gadget/less_than: Fixed less_than chip + tests pass
|
4 years ago |
|
parazyd
|
605fb90878
zk/tests: Dump circuit layouts into target/
|
4 years ago |
|
parazyd
|
c221458a03
zk/gadget: 128 and 253-bit tests for native range check.
|
4 years ago |
|
parazyd
|
ff85880a6d
zk/gadget/native_range_check: Fix copy constraint.
|
4 years ago |
|
parazyd
|
c192d0a26c
zk/gadget/native_range_check: Test copy constraints.
|
4 years ago |
|
parazyd
|
8b3c3e2adf
zk/gadget: Clean up range_check into native_range_check.
|
4 years ago |
|
Janmajaya Mall
|
68a4f1d9f0
zk/gadget/less_than: adds range_check sub-chip (tests still fail)
|
4 years ago |
|
parazyd
|
308c2da124
zk/gadget/less_than: Tests and circuit layout.
|
4 years ago |
|
parazyd
|
32ece50229
zk/gadget/range_check: Test 64 bits, 128 bits, and 253 bits.
|
4 years ago |
|
parazyd
|
8615ff2241
zk/gadget/range_check: Set k=5 and test illegal cases for 64 bits.
|
4 years ago |
|
parazyd
|
804ddc755e
lib: Temporarily disable wasm-runtime.
|
4 years ago |
|
Janmajaya Mall
|
6a4aaa2297
zk/gadget/range_check: Fixed chunk to value mapping of decomposed_chunks
|
4 years ago |
|
parazyd
|
16d665cc72
zk/gadget/range_check: More test units and better assertion.
|
4 years ago |
|
Janmajaya Mall
|
41a863e713
zk/less_than: added test_a_b_128_bits
|
4 years ago |
|
Janmajaya Mall
|
fe5a032c60
zk/range_check: Fixed test_64_bit
|
4 years ago |
|
parazyd
|
e0b4cba1f4
zk/range_check: Fix test compilation.
|
4 years ago |
|
Janmajaya Mall
|
94d6416eb1
src/zk/gadget: added instruction functions for less_than gadget
|
4 years ago |
|
Janmajaya Mall
|
57273be2cd
src/zk/gadget: added configure for less_than gadget
|
4 years ago |
|
Janmajaya Mall
|
dfc7d71940
added 64 bit test for range_check gadget
|
4 years ago |
|
Janmajaya Mall
|
7a4016867a
fixed mutability in decompose_value fn
|
4 years ago |
|
Janmajaya Mall
|
e51ba71306
added fn in RangeCheckChip
|
4 years ago |
|
Janmajaya Mall
|
95f12fde62
added configure for RangeCheckChip
|
4 years ago |
|
Dastan-glitch
|
5a1c33cb97
bin/tau: add workspace feature
|
4 years ago |
