parazyd
1237e5be24
tests: Implement JSON-RPC server/client test.
2023-08-18 11:40:09 +02:00
parazyd
44982d320e
chore: Update crate dependencies
2023-08-18 10:15:14 +02:00
parazyd
9103045723
example/rpc: Add unix listeners.
2023-08-18 10:07:37 +02:00
parazyd
52599c947b
bin: Fix compilation for RpcClient dependents.
2023-08-18 10:04:32 +02:00
parazyd
cf330b872c
rpc/client: Reintroduce subscribe().
...
Added a FIXME note about "Triggering next consume". This should not
be required. Instead we should just be waiting for notifications and
never have to send anything back.
2023-08-18 09:37:26 +02:00
parazyd
b57d0c1c9b
net: Implement Unix socket transport (both dialer and listener)
2023-08-18 08:56:54 +02:00
parazyd
827ec53f63
rpc: Cleanup client and server and refactor into smaller functions.
...
* Implement a read timeout to avoid a DoS path
* Use dynamic buffer allocation with a max size limit
* Make the JSON-RPC a line-based protocol
2023-08-18 08:56:54 +02:00
aggstam
428696d846
doc/ircd: future headache prevention
2023-08-17 16:50:19 +03:00
parazyd
0ba9740b84
chore: Clippy lints
2023-08-17 12:03:11 +02:00
Dastan-glitch
c29594d856
bin/tau: minor fix log msg
2023-08-17 05:54:27 +03:00
Dastan-glitch
b0b5d41493
book: fix event_action link
2023-08-17 05:52:28 +03:00
Dastan-glitch
93b7301528
event_graph: add remove_old_events() method
...
this method takes a timestamp as an argument and removes every event that is older than the timesamp from the tree
and relink the oldest event in the resulted tree to the root event
2023-08-17 05:30:27 +03:00
Dastan-glitch
0adf421d71
event_graph: rewrite find_ancestor()
2023-08-17 05:22:02 +03:00
parazyd
02590af115
research/pvss: Finish SCRAPE impl.
2023-08-16 11:29:24 +02:00
parazyd
a9ca678b8b
research/pvss: WIP SCRAPE Sage implementation
2023-08-16 09:53:52 +02:00
parazyd
2d8733f269
research/pvss: Add separate script for DLEQ explainer.
2023-08-16 09:38:52 +02:00
x
541858e021
zk: add forgotten z public output values
2023-08-16 09:10:37 +02:00
x
62a2d0bc50
zk: simplified nova proof
2023-08-16 09:00:09 +02:00
x
edc788d155
nova IVC impl
2023-08-15 17:27:06 +02:00
parazyd
6a024ab801
zkas: Add a field definition on top of the circuit file.
...
Currently unused, but will probably be expanded to define proofs over
different fields.
2023-08-14 17:09:18 +02:00
parazyd
af01483bfb
sdk/python: Remove unused to_json function.
2023-08-14 17:06:33 +02:00
parazyd
6f95bb156f
zk/gadget: Make small_range_check field-agnostic.
2023-08-14 17:05:41 +02:00
greptile
723df2b19c
[research] add sage implementation of R1CS->QAP ( #190 )
...
Add sage code that runs through the Groth16 R1CS --> QAP conversion
contained in the article
"R1CS and QAP - From Zero to Hero with Finite Fields & sagemath"
https://risencrypto.github.io/R1CSQAP/
Co-authored-by: y <y>
2023-08-14 14:50:29 +02:00
narodnik
6e81076224
doc: update contribute
2023-08-14 09:19:46 +02:00
x
3abe9c8e9d
zk: prelim nova impl
2023-08-13 20:35:29 +02:00
parazyd
bda805e5ff
sdk/python: Remove obsolete message in Makefile.
2023-08-13 19:59:43 +02:00
parazyd
2483d088d6
zkrunner: Support reading witness data from stdin
2023-08-13 19:13:23 +02:00
parazyd
3222188b46
sdk/python: Do not generate rustdoc.
2023-08-13 19:08:51 +02:00
parazyd
cedfa3cdac
zktool: Remove obsolete binary
2023-08-13 16:29:19 +02:00
parazyd
bcdca64897
zkrunner: Add example working witness.json file.
2023-08-13 16:26:31 +02:00
parazyd
7f53e92516
zkrunner: Perform a rewrite with the cleaned up python bindings.
2023-08-13 16:25:35 +02:00
parazyd
349807d8c8
sdk/python: Directly compile zkas source code as the ZkBinary constructor.
2023-08-13 16:24:58 +02:00
parazyd
3f5148e149
zkrunner: Remove unused proofs and use symlink for opcodes proof.
2023-08-13 16:24:58 +02:00
parazyd
a374dd2d3a
Move zkrunner/set_v1.zk to proof directory.
2023-08-13 16:24:57 +02:00
parazyd
78a9b2a51c
chore: Add rust-toolchain.toml file
2023-08-13 16:24:57 +02:00
parazyd
7860678e6a
zk: Export halo2::dev module.
2023-08-13 16:24:57 +02:00
parazyd
e421b08512
contract: Match only .rs files for make dependencies.
2023-08-13 16:24:57 +02:00
parazyd
988455f79b
sdk/python: Perform full code cleanup and make everything work.
2023-08-13 16:24:57 +02:00
parazyd
66e399fd61
tau: clippy lint
2023-08-12 20:55:37 +02:00
parazyd
27735bb6f4
net: Remove channels from P2P if broadcast fails.
2023-08-12 20:54:31 +02:00
parazyd
3326e1b060
tau: Do not print unnecessary table data when piping task table output
2023-08-12 16:54:19 +02:00
parazyd
e0f0b46135
Revert "tau: Sort tasks by id when printing them."
...
This reverts commit 804494b4ba
2023-08-12 16:36:33 +02:00
parazyd
804494b4ba
tau: Sort tasks by id when printing them.
2023-08-12 16:26:44 +02:00
parazyd
6c5dbf4f92
research/dkg: Add more comments and complaint challenge handling.
2023-08-12 15:55:15 +02:00
parazyd
ee0cc25107
research/pvss: Add short README.
2023-08-12 15:04:46 +02:00
parazyd
ffd7e5907b
net: Fix minor log aesthetic.
2023-08-12 13:17:50 +02:00
parazyd
201173d15f
net/inbound_session: Register stop_sub before registering channel on accept.
...
I think this led to a race condition, where a channel wouldn't clean up
on time. Possibly being triggerred by lilith's pings. Let's see if this
patch helps clean up any hanging channels.
2023-08-12 13:14:51 +02:00
parazyd
1eb00ef9c2
chore: Update crate dependencies
2023-08-12 13:01:32 +02:00
parazyd
9e789c24b5
net: Attempt reseeding the P2P subsystem in peer_discovery if no channels are connected.
2023-08-12 12:56:45 +02:00
parazyd
d16a79967e
research: Add a naive Sage DKG implementation
2023-08-12 11:54:38 +02:00
