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