 Dastan-glitch
|
3f07a2bbc5
bin/tau: use State struct instead of hardcoded states
|
4 years ago |
|
Dastan-glitch
|
d5c81104a7
bin/tau: minor rework plus log msgs for export and import
|
4 years ago |
|
aggstam
|
ad800d67f3
ircd/protocol_privmsg: remedy race lock on seen messages
|
4 years ago |
|
Dastan-glitch
|
0a23b180a1
bin/tau: print the current workspace name with tasks table
|
4 years ago |
|
Dastan-glitch
|
8653ea7f2a
bin/tau: implement export/import
|
4 years ago |
|
parazyd
|
5d839844d5
ircd: Implement e2e message encryption.
|
4 years ago |
|
narodnik
|
633a62deb0
add explicit homogenization step
|
4 years ago |
|
narodnik
|
f75d02cf16
show how to calculate intersection_multiplicity of point on elliptic curve: otherwise known as the order of vanishing - ord_P(f)
|
4 years ago |
|
narodnik
|
6b2cb4380b
divisors: add note how to use code for reducing [P] - [Q]
|
4 years ago |
|
narodnik
|
cd030a3c69
show how to compute divisor functions for divisors with effective size 1
|
4 years ago |
|
narodnik
|
154fbc81da
calculate function divisor for adding 2 points
|
4 years ago |
|
Dastan-glitch
|
10282ba4cf
bin/tau: update taud_config.toml
|
4 years ago |
|
Dastan-glitch
|
e47b57d356
bin/tau: remove watch_files
|
4 years ago |
|
aggstam
|
109ef9a517
src/dht: feature created(lib structs moved from research/dhtd)
|
4 years ago |
|
aggstam
|
0d30ced2d0
script/research/dhtd: replaced String with blake3::Hash
|
4 years ago |
|
aggstam
|
d95e60af42
src: moved blake3 Hash Encodable/Decodable traits from blockchain/mod.rs to util/serial.rs
|
4 years ago |
|
aggstam
|
4d8c0a85c0
src/consensus/protocol_tx: atomic operation added to check for seen txs
|
4 years ago |
|
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 |
