x
80c42ea3dc
doc: rename contributing to contribute
2023-08-20 09:52:55 +02:00
x
884dbd7185
doc: remove section in contribute about a debugger
2023-08-20 09:52:14 +02:00
x
1b35330082
zkrunner/pydrk: add --trace argument to zkrunner, and appropriate changes to the py bindings.
2023-08-20 09:47:05 +02:00
ertosns
6e6bf0ba33
[research/lotterysim] fix update vesting, and negative apr
2023-08-19 18:37:40 +03:00
x
37bd0ccdf4
zk tracer: add a bool pass through instead of using if let idiom. As a consequence we change weaker matches into stronger unwraps.
2023-08-19 13:13:26 +02:00
x
7962f8ff8e
zk: add forgotten file in last commit tracer.rs
2023-08-19 12:54:13 +02:00
x
f3a6672bfb
zk: add debug tracer
2023-08-19 12:51:34 +02:00
ertosns
d60d72d088
[research/lotterysim] update vesting darkie id
2023-08-19 13:19:26 +03:00
ertosns
3aaf7e466c
[research/lotterysim] handle 0 premint divin by zero case]
2023-08-19 12:55:44 +03:00
ertosns
9dc54e6e3f
[research/lotterysim] turn off staking strategies during headstart period
2023-08-19 12:50:27 +03:00
x
41197407bf
replace .iter().map(|x| x.clone()).collect() with .clone()
...
tested with example/zk.rs and dao contract test.
2023-08-18 12:21:11 +02:00
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
