Commit Graph

6336 Commits

Author SHA1 Message Date
aggstam
0cc61ccaa9 validator/proto: BlockInfo protocol added 2023-07-21 19:20:50 +03:00
aggstam
9d8addf3a3 tests/blockchain: updated test 2023-07-21 15:05:37 +03:00
aggstam
56130e1699 validator: improved log targets 2023-07-21 14:24:42 +03:00
aggstam
d9eed23013 blockchain: simplyfied Slot structure 2023-07-21 14:05:40 +03:00
parazyd
a1bfd10a7d contract/test-harness: Revert to using a single reference for ProvingKey map. 2023-07-20 23:28:19 +02:00
aggstam
53cdc50e15 chore: clippy 2023-07-20 17:58:22 +03:00
Dastan-glitch
ea10c80b3c tests: halo2_vk_ser missing argument while VerifyingKey 2023-07-20 16:19:36 +03:00
Dastan-glitch
12c628efdb zk: use reference instead of cloning 2023-07-20 16:17:49 +03:00
Dastan-glitch
28ad81da46 zk: CI fix - implement missing Params 2023-07-20 16:02:33 +03:00
parazyd
05991cda50 contract/test-harness: Use precompiled zk proving keys 2023-07-20 14:26:52 +02:00
parazyd
3cfee55f23 zk: Update to halo2 with dynamic circuit config and implement ProvingKey serialization. 2023-07-20 14:19:52 +02:00
parazyd
29101c4e02 zk: Pass a ZkBinary reference to ZkCircuit::new instead of cloning. 2023-07-20 14:19:52 +02:00
parazyd
99f68db953 zkas: Enforce k declaration on top of the source file. 2023-07-20 14:19:52 +02:00
parazyd
8d07dc2258 chore: Update crate dependencies 2023-07-20 12:23:58 +02:00
aggstam
37d7461a53 contract/money/tests.mint_pay_swap: fixed test 2023-07-20 04:11:10 +03:00
aggstam
7c6a2b912c chore: minor cleanup 2023-07-20 03:11:12 +03:00
aggstam
73500a25b4 contracts/tests: made consensus coins deterministic, major cleanup in rest 2023-07-20 02:44:19 +03:00
parazyd
d5b4cd9645 darkirc: Implement user modes and set +v for encrypted messages. 2023-07-19 18:23:32 +02:00
parazyd
3c24d42f0e darkirc: Fix some typos 2023-07-19 17:36:35 +02:00
parazyd
5b21ae1c4a darkirc: Implement --gen-secret 2023-07-19 17:32:23 +02:00
parazyd
bcf1f2389a darkirc: Update default config file. 2023-07-19 17:10:47 +02:00
parazyd
372028d706 darkirc: Rename contact_pubkey to public_key. 2023-07-19 17:07:49 +02:00
parazyd
013ad5f514 darkirc: Use "secret" instead of "private" for keypairs. 2023-07-19 17:02:56 +02:00
aggstam
965e2a9ea7 darkfid2: removed trash 2023-07-19 16:48:14 +03:00
aggstam
147022a903 darkfid2-validator: ProtocolTx created 2023-07-19 16:44:39 +03:00
parazyd
f207781d26 contract/test-harness: Use deterministic genesis coin and keypairs. 2023-07-19 15:42:06 +02:00
parazyd
bf2437ec2c util: Implement PCG for a deterministic PRNG used for testing and sim. 2023-07-19 13:56:56 +02:00
aggstam
e62faa1b75 darkfid2: log targets cleanup 2023-07-18 19:32:52 +03:00
aggstam
2af5558273 darkfid2/rpc: pending txs handling methods added 2023-07-18 19:22:53 +03:00
aggstam
9f81e693ed darkfid2/rpc: basic tx methods added 2023-07-18 19:00:52 +03:00
aggstam
48057c25b0 darkfid2/rpc: misc and blockchain methods added 2023-07-18 18:03:42 +03:00
aggstam
21970aed0e darkfid2: networking foundation added 2023-07-18 17:04:23 +03:00
Dastan-glitch
4fc0eb3c4b bin/tau: print info if the workspace is not configured 2023-07-18 02:11:00 +03:00
Dastan-glitch
dd2be36ea4 bin/tau: use save/load tree 2023-07-18 02:10:15 +03:00
Dastan-glitch
1561771deb event_graph: introduce save/load tree methods 2023-07-18 02:08:39 +03:00
Dastan-glitch
d58b1266cf event_grap: generic T to be Send and Sync as well in Seen 2023-07-18 02:06:31 +03:00
Dastan-glitch
7f025c9eb2 bin/tau: rewrite task (en/de)cryption 2023-07-18 02:05:11 +03:00
parazyd
71e6092a29 contract/consensus: Separate client API into functions which allow more control. 2023-07-17 17:38:57 +02:00
ertosns
f20c88b2f1 [research/lotterysim] emulate slashing as random process with certain low probability 2023-07-17 15:36:27 +03:00
ertosns
e9e2de886d [research/lotterysim] update Sigma (total stake) with primary reward with headstart 2023-07-17 15:36:27 +03:00
ertosns
b3a868999d [research/lotterysim] plot from ./log initial stake, apr for each node in plot_darkies.py 2023-07-17 15:36:27 +03:00
ertosns
d7f477e4f9 [research/lotterysim] headstart, remove airdrop 2023-07-17 15:36:27 +03:00
Christoph Lohmann
baaf62358f Remove doubling of macro overview in learn.md. 2023-07-15 19:37:14 +02:00
parazyd
609f2ae04d zk/gadget/less_than: Temporarily disable a failing test case. 2023-07-15 00:36:05 +02:00
parazyd
69c0d7b4f5 zk/gadget/less_than: Improve tests. 2023-07-14 20:10:49 +02:00
aggstam
74d1e21fef WIP: zk/gadget/less_than/tests/less_than_253: P-1 < P check added 2023-07-14 19:28:08 +03:00
parazyd
1b68e015fa tests: Add isolated test for consensus proposal proof. 2023-07-14 17:57:56 +02:00
parazyd
37daecf749 contract/consensus: Use less_than_strict for proposal lottery proof. 2023-07-14 17:57:39 +02:00
parazyd
256bfdee4c zk/gadget: Add test for 253-bit less_than gadget. 2023-07-14 17:54:12 +02:00
aggstam
7f9bed8e50 WIP: contract/consensus/client/proposal: verify coin value is less than slot target before creating proof 2023-07-14 14:01:20 +03:00