856 Commits

Author SHA1 Message Date
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
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
x
3abe9c8e9d zk: prelim nova impl 2023-08-13 20:35:29 +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
1eb00ef9c2 chore: Update crate dependencies 2023-08-12 13:01:32 +02:00
parazyd
d16a79967e research: Add a naive Sage DKG implementation 2023-08-12 11:54:38 +02:00
parazyd
95d0f4713f research: Add Sage FROST implementation for threshold Schnorr signatures. 2023-08-11 22:08:00 +02:00
parazyd
c3d1dfa617 research: Add Sage MuSig2 implementation for multiparty Schnorr signatures. 2023-08-11 17:33:23 +02:00
parazyd
9668813fcc research: Remove dkg-ecdsa. 2023-08-11 17:33:23 +02:00
parazyd
aee3299e05 script/research: Add missing AGPL headers to .rs files. 2023-08-11 13:26:29 +02:00
x
721e1e787f zk: simple groth16 example 2023-08-11 12:49:02 +02:00
ertosns
265b2a919c [research/lotterysim] write log every 100th step of running time 2023-08-05 19:43:19 +03:00
ertosns
635c326c17 [research/lotterysim] fix drop in accuracy after 0mint distribution ends; starting with 0 premint at genesis/pre-genesis 2023-08-05 13:23:16 +03:00
ertosns
2a0a9d84b8 [research/lotterysim] update crawlers, re-tune controllers for better acc, and stable apr 2023-08-01 18:44:09 +03:00
ertosns
af90b82f8e [research/lotterysim] fix constant stake invariant 2023-08-01 12:42:17 +03:00
ertosns
45746dbdd2 [research/lotterysim] move from tipless fee mechanism to tip auction 2023-07-31 12:47:43 +03:00
parazyd
c045210763 chore: Update crate dependencies. 2023-07-31 08:05:13 +02:00
parazyd
eab4086b15 dht2: Remove module. 2023-07-29 11:46:24 +02:00
ertosns
a7d2776ac4 [research/lotterysim] add base fee controller crawler for tuning 2023-07-28 20:22:34 +03:00
ertosns
d74360ac84 [research/lotterysim] refactor core/lottery.py 2023-07-27 16:29:28 +03:00
ertosns
35405831e3 [research/lotterysim] simulate transaction fee, and tipless mechanism, with controlled pid 2023-07-26 17:00:42 +03:00
ertosns
9fd745b915 [research/lotterysim] handle a bug in case single lead got slashed 2023-07-26 17:00:42 +03:00
ertosns
3ee043cdbc [research/lotterysim] fix a bug with APR period during headstart phase 2023-07-24 16:40:41 +03:00
ertosns
85c53aa7b0 [research/lotterysim] document lotterysim/core 2023-07-23 15:25:21 +03:00
ertosns
6e7f7367dd [research/lotterysim] premint coexist zero-coin; although headstart unactivated, set to zero 2023-07-23 15:25:21 +03:00
ertosns
576940e3e5 [research/lotterysim] plot apr as well as initial stake from log, before/after end of airdrop, fix apy index 2023-07-23 15:25:21 +03:00
ertosns
f0a4095833 [research/lotterysim] simulate timelocked airdrop, enhance log 2023-07-23 15:25:21 +03:00
parazyd
d34b9cbb03 chore: Update crate dependencies 2023-07-22 13:16:16 +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
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
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
d7c994b679 chore: Update crate dependencies. 2023-07-13 19:22:32 +02:00
parazyd
cf307669aa chore: Update crate dependencies. 2023-07-10 15:19:41 +02:00
parazyd
eb6934bc2f research/x3dh: Update to latest curve25519 API 2023-07-10 10:42:32 +02:00
parazyd
98ef7c834e chore: Update project dependencies. 2023-07-08 20:17:47 +02:00
parazyd
0e372f8f6f research/x3dh: Update dependencies. 2023-07-08 19:32:34 +02:00
aggstam
26809109ce script/research/lotterysim/pid/pid.md: further fixed total tokens calculation 2023-07-06 17:52:11 +03:00
aggstam
86c9f36aff script/research/lotterysim/pid/pid.md: further simplyfied total tokens calculation 2023-07-06 17:50:29 +03:00
aggstam
8415d6e522 script/research/lotterysim/pid/pid.md: updated total_tokens() calculation 2023-07-06 17:30:59 +03:00