abd33af
(folding-slides)
wip sonobe folding slides (sf) by
2024-08-07 19:19:32 +0200
b976b63
(HEAD -> master)
add initial version of galois-theory-notes.tex by
2024-04-28 10:21:32 +0200
1e0e798
update folding-sonobe slides by
2024-04-22 09:38:26 +0200
7f4c8b3
add folding-sonobe slides draft by
2024-04-21 23:35:43 +0200
4828f66
add typos.toml config and fix typos by
2024-03-16 11:36:56 +0100
a894959
update abstract-algebra notes by
2024-03-16 11:16:18 +0100
d90f24e
abstract algebra: add proof of F_p with p prime by
2023-09-24 13:51:57 +0200
0e6992c
hypernova multifolding slides part 1 (intro) & 2 (multifolding unfolded) by
2023-08-07 11:30:13 +0200
2396da9
add hypernova multifolding slides, udpate notes_hypernova by
2023-06-23 22:20:54 +0200
cc9bb99
Add weil reciprocity example, weil pairing properties, small typo in hypernova notes by
2023-06-21 08:57:41 +0200
a0c0742
weil-pairing.tex add rational functions & divisors section by
2023-06-20 10:29:04 +0200
f1079b0
hypernova: add section for multifolding multiple instances (μ,ν > 1) by
2023-06-11 18:49:50 +0200
a40e9b6
add ccs-plonk.sage by
2023-06-08 12:02:58 +0200
c73c087
hypernova: add relation to Spartan sec4 by
2023-05-28 22:17:34 +0200
3ea6107
hypernova: add multifolding diagram by
2023-05-21 23:37:09 +0200
dc443a8
update hypernova notes, add details on V multifolding check by
2023-05-21 22:25:55 +0200
47ed478
hypernova: add sparse multilinear extension from matrix details by
2023-05-18 00:08:03 +0200
fd81029
add initial HyperNova notes by
2023-05-16 00:32:59 +0200
87f44f2
add R1CS to CCS Sage impl (CCS: https://eprint.iacr.org/2023/552) by
2023-05-15 22:22:27 +0200
83fe57e
update Spartan notes with recaps by
2023-05-13 10:50:42 +0200
ba6a51e
small update on notes_nova, fix typo on notes_halo by
2023-05-01 20:09:47 +0200
69baaa0
Update Nova notes by
2023-04-18 23:57:02 +0200
5e13871
Add first part Spartan notes, continue Nova notes by
2023-04-15 20:44:54 +0200
d509900
small update to IPA notes by
2023-04-05 23:39:14 +0200
adceb53
Add FRI polynomial commitment section by
2023-03-18 14:11:34 +0100
fcb0aba
FRI notes: simplify proving, add verification steps by
2023-03-05 16:30:53 +0100
e149070
Update Caulk+ notes, add initial FRI & Nova notes by
2023-02-26 17:26:53 +0100
a2dcc8f
Add Caulk initial notes by
2023-02-12 18:54:01 +0100
8dc59ea
Add Reed-Solomon notes by
2023-02-12 18:53:22 +0100
5f0a3f4
abstr-algebra: add field extensions & vectorspaces by
2023-02-12 14:10:41 +0100
e8f76ef
Add missing dates by
2023-01-21 16:02:30 +0100
ff2c5fa
Add powersoftau.sage by
2023-01-02 10:52:56 +0100
baa40a2
Add KZG commitments Sage impl by
2023-01-02 10:48:28 +0100
9c03a71
Update bls12-381.sage interface to unexpose params to avoid var name collisions when using it by
2023-01-02 10:46:32 +0100
11e7cc5
Add pairings initial notes by
2022-08-26 10:24:32 +0200
6b8b9e7
Add FFT latex notes (incomplete) by
2022-08-22 10:38:32 +0200
3a0aca0
Sage impls single-files code&tests by
2022-08-16 19:55:41 +0200
996a3e8
split paper notes files by
2022-08-16 19:22:18 +0200
24aa7a6
Add BLS signatures on bls12-381 by
2022-08-12 15:33:29 +0200
498a522
Add Blind Sig over EC Sage impl by
2022-08-12 15:30:19 +0200
e52ff3a
paper-notes: Add modified IPA (from Halo) by
2022-07-18 21:20:31 +0200
9bdd887
paper-notes: add BLS signatures notes by
2022-07-16 16:42:36 +0200
1d65a57
Add sigma-or-notes by
2022-07-14 11:58:55 +0200
7c3727c
IPA: add binary counting structure s computation by
2022-07-10 15:43:54 +0200
17a3a9e
Add Inner Product Argument (IPA) implementations by
2022-07-02 19:12:40 +0200
7978531
Add paper-notes backup by
2022-06-11 22:07:19 +0200
17a83ba
Add ring signatures sage implementation (bLSAG) by
2022-03-27 20:20:16 +0200
dedd181
Add sage impl of Sigma protocol & OR proofs by
2022-03-13 11:36:25 +0100
a431ca9
minor updates by
2022-03-13 11:35:31 +0100
1e98a56
Add AbstractAlgebra notes ch18-ch26 by
2022-02-26 18:38:53 +0100
e69a4b7
Add init seminar exercises by
2022-02-20 23:05:41 +0100
f2c593a
Add AbstractAlgebra notes until ch18 by
2022-02-20 18:46:15 +0100
64c254b
Add fast polynomial multiplication using FFT by
2022-02-20 12:44:39 +0100
e14b94a
Add CRT, gcd, extended gcd, inverse modulo N by
2022-02-20 12:41:33 +0100
9468993
Add FFT & Roots of Unity in Sage by
2022-02-19 10:59:09 +0100
0acbacb
init commit by
2022-02-19 10:56:54 +0100