 Dastan-glitch
|
10282ba4cf
bin/tau: update taud_config.toml
|
%!s(int64=4) %!d(string=hai) anos |
|
Dastan-glitch
|
e47b57d356
bin/tau: remove watch_files
|
%!s(int64=4) %!d(string=hai) anos |
|
aggstam
|
109ef9a517
src/dht: feature created(lib structs moved from research/dhtd)
|
%!s(int64=4) %!d(string=hai) anos |
|
aggstam
|
0d30ced2d0
script/research/dhtd: replaced String with blake3::Hash
|
%!s(int64=4) %!d(string=hai) anos |
|
aggstam
|
d95e60af42
src: moved blake3 Hash Encodable/Decodable traits from blockchain/mod.rs to util/serial.rs
|
%!s(int64=4) %!d(string=hai) anos |
|
aggstam
|
4d8c0a85c0
src/consensus/protocol_tx: atomic operation added to check for seen txs
|
%!s(int64=4) %!d(string=hai) anos |
|
aggstam
|
ec7ebd09fd
script/research/dhtd: rewrite methods to prevent lock race conditions,
|
%!s(int64=4) %!d(string=hai) anos |
|
parazyd
|
b797fd6b76
zk/gadget/less_than: Use layouter.namespace in test circuit.
|
%!s(int64=4) %!d(string=hai) anos |
|
parazyd
|
f2321747cb
ircd: Fix attempt for edge case where IRC client panics the threads.
|
%!s(int64=4) %!d(string=hai) anos |
|
parazyd
|
e539d254f7
zk/gadget/less_than: More test cases for 64bit.
|
%!s(int64=4) %!d(string=hai) anos |
|
parazyd
|
34bae7dc02
zk/gadget: Clean up.
|
%!s(int64=4) %!d(string=hai) anos |
|
parazyd
|
9cef0dccb2
zk/gadgets/native_range_check: Add TODO note for strict decompose.
|
%!s(int64=4) %!d(string=hai) anos |
|
parazyd
|
c35bed54f2
zk/gadget/less_than: Proper 2^m handling.
|
%!s(int64=4) %!d(string=hai) anos |
|
Janmajaya Mall
|
4d64237cb3
zk/gadget/less_than: Fixed less_than chip + tests pass
|
%!s(int64=4) %!d(string=hai) anos |
|
parazyd
|
605fb90878
zk/tests: Dump circuit layouts into target/
|
%!s(int64=4) %!d(string=hai) anos |
|
parazyd
|
c221458a03
zk/gadget: 128 and 253-bit tests for native range check.
|
%!s(int64=4) %!d(string=hai) anos |
|
parazyd
|
ff85880a6d
zk/gadget/native_range_check: Fix copy constraint.
|
%!s(int64=4) %!d(string=hai) anos |
|
parazyd
|
c192d0a26c
zk/gadget/native_range_check: Test copy constraints.
|
%!s(int64=4) %!d(string=hai) anos |
|
parazyd
|
8b3c3e2adf
zk/gadget: Clean up range_check into native_range_check.
|
%!s(int64=4) %!d(string=hai) anos |
|
Janmajaya Mall
|
68a4f1d9f0
zk/gadget/less_than: adds range_check sub-chip (tests still fail)
|
%!s(int64=4) %!d(string=hai) anos |
|
parazyd
|
308c2da124
zk/gadget/less_than: Tests and circuit layout.
|
%!s(int64=4) %!d(string=hai) anos |
|
parazyd
|
32ece50229
zk/gadget/range_check: Test 64 bits, 128 bits, and 253 bits.
|
%!s(int64=4) %!d(string=hai) anos |
|
parazyd
|
8615ff2241
zk/gadget/range_check: Set k=5 and test illegal cases for 64 bits.
|
%!s(int64=4) %!d(string=hai) anos |
|
parazyd
|
804ddc755e
lib: Temporarily disable wasm-runtime.
|
%!s(int64=4) %!d(string=hai) anos |
|
Janmajaya Mall
|
6a4aaa2297
zk/gadget/range_check: Fixed chunk to value mapping of decomposed_chunks
|
%!s(int64=4) %!d(string=hai) anos |
|
parazyd
|
16d665cc72
zk/gadget/range_check: More test units and better assertion.
|
%!s(int64=4) %!d(string=hai) anos |
|
Janmajaya Mall
|
41a863e713
zk/less_than: added test_a_b_128_bits
|
%!s(int64=4) %!d(string=hai) anos |
|
Janmajaya Mall
|
fe5a032c60
zk/range_check: Fixed test_64_bit
|
%!s(int64=4) %!d(string=hai) anos |
|
parazyd
|
e0b4cba1f4
zk/range_check: Fix test compilation.
|
%!s(int64=4) %!d(string=hai) anos |
|
Janmajaya Mall
|
94d6416eb1
src/zk/gadget: added instruction functions for less_than gadget
|
%!s(int64=4) %!d(string=hai) anos |
