 arnaucube
|
d90f24e36e
|
abstract algebra: add proof of F_p with p prime
|
1 year ago |
|
arnaucube
|
0e6992c253
|
hypernova multifolding slides part 1 (intro) & 2 (multifolding unfolded)
|
1 year ago |
|
arnaucube
|
2396da9984
|
add hypernova multifolding slides, udpate notes_hypernova
- add hypernova multifolding slides
- add hypernova details with colors on how the multifolding terms relate for LCCCS & CCCS
|
1 year ago |
|
arnaucube
|
cc9bb99ac5
|
Add weil reciprocity example, weil pairing properties, small typo in hypernova notes
|
1 year ago |
|
arnaucube
|
a0c0742815
|
weil-pairing.tex add rational functions & divisors section
|
1 year ago |
|
arnaucube
|
f1079b0a74
|
hypernova: add section for multifolding multiple instances (μ,ν > 1)
|
1 year ago |
|
arnaucube
|
a40e9b6cc4
|
add ccs-plonk.sage
Also rename r1cs-ccs.sage to ccs-r1cs.sage, so both r1cs & plonk scripts
are printed together in the directory.
|
1 year ago |
|
arnaucube
|
c73c087a29
|
hypernova: add relation to Spartan sec4
|
1 year ago |
|
arnaucube
|
3ea610705a
|
hypernova: add multifolding diagram
also add some more notes to spartan
|
1 year ago |
|
arnaucube
|
dc443a8c6a
|
update hypernova notes, add details on V multifolding check
|
1 year ago |
|
arnaucube
|
47ed478835
|
hypernova: add sparse multilinear extension from matrix details
|
1 year ago |
|
arnaucube
|
fd810298c9
|
add initial HyperNova notes
|
1 year ago |
|
arnaucube
|
87f44f21df
|
add R1CS to CCS Sage impl (CCS: https://eprint.iacr.org/2023/552)
|
1 year ago |
|
arnaucube
|
83fe57e50f
|
update Spartan notes with recaps
|
1 year ago |
|
arnaucube
|
ba6a51e768
|
small update on notes_nova, fix typo on notes_halo
|
1 year ago |
|
arnaucube
|
69baaa0137
|
Update Nova notes
|
1 year ago |
|
arnaucube
|
5e138717c5
|
Add first part Spartan notes, continue Nova notes
|
1 year ago |
|
arnaucube
|
d509900028
|
small update to IPA notes
|
1 year ago |
|
arnaucube
|
adceb5308d
|
Add FRI polynomial commitment section
|
1 year ago |
|
arnaucube
|
fcb0aba0c2
|
FRI notes: simplify proving, add verification steps
|
1 year ago |
|
arnaucube
|
e149070328
|
Update Caulk+ notes, add initial FRI & Nova notes
Update Caulk notes with minimal Caulk+ overview.
Add initial notes on FRI & Nova.
|
1 year ago |
|
arnaucube
|
a2dcc8fc01
|
Add Caulk initial notes
|
1 year ago |
|
arnaucube
|
8dc59ea1b6
|
Add Reed-Solomon notes
|
1 year ago |
|
arnaucube
|
5f0a3f449e
|
abstr-algebra: add field extensions & vectorspaces
|
1 year ago |
|
arnaucube
|
e8f76efae6
|
Add missing dates
|
1 year ago |
|
arnaucube
|
ff2c5fa9b3
|
Add powersoftau.sage
|
1 year ago |
|
arnaucube
|
baa40a2b4a
|
Add KZG commitments Sage impl
|
1 year ago |
|
arnaucube
|
9c03a71a8c
|
Update bls12-381.sage interface to unexpose params to avoid var name collisions when using it
|
1 year ago |
|
arnaucube
|
11e7cc5613
|
Add pairings initial notes
|
2 years ago |
|
arnaucube
|
6b8b9e764b
|
Add FFT latex notes (incomplete)
|
2 years ago |
|
arnaucube
|
3a0aca0f8c
|
Sage impls single-files code&tests
|
2 years ago |
|
arnaucube
|
996a3e8f6a
|
split paper notes files
|
2 years ago |
|
arnaucube
|
24aa7a6305
|
Add BLS signatures on bls12-381
|
2 years ago |
|
arnaucube
|
498a522e1d
|
Add Blind Sig over EC Sage impl
|
2 years ago |
|
arnaucube
|
e52ff3a039
|
paper-notes: Add modified IPA (from Halo)
|
2 years ago |
|
arnaucube
|
9bdd887377
|
paper-notes: add BLS signatures notes
|
2 years ago |
|
arnaucube
|
1d65a57e49
|
Add sigma-or-notes
|
2 years ago |
|
arnaucube
|
7c3727cd23
|
IPA: add binary counting structure s computation
|
2 years ago |
|
arnaucube
|
17a3a9eab2
|
Add Inner Product Argument (IPA) implementations
Add Inner Product Argument (IPA) implementations:
- Bulletproofs version
- Halo paper version (modified IPA)
|
2 years ago |
|
arnaucube
|
7978531260
|
Add paper-notes backup
|
2 years ago |
|
arnaucube
|
17a83ba1f3
|
Add ring signatures sage implementation (bLSAG)
|
2 years ago |
|
arnaucube
|
dedd181ae8
|
Add sage impl of Sigma protocol & OR proofs
|
2 years ago |
|
arnaucube
|
a431ca9b92
|
minor updates
|
2 years ago |
|
arnaucube
|
1e98a56325
|
Add AbstractAlgebra notes ch18-ch26
|
2 years ago |
|
arnaucube
|
e69a4b792f
|
Add init seminar exercises
|
2 years ago |
|
arnaucube
|
f2c593a6c2
|
Add AbstractAlgebra notes until ch18
|
2 years ago |
|
arnaucube
|
64c254bc43
|
Add fast polynomial multiplication using FFT
|
2 years ago |
|
arnaucube
|
e14b94a8db
|
Add CRT, gcd, extended gcd, inverse modulo N
Add CRT (Chinese Remainder Theorem), gcd (using Binary Euclidean
algorithm), extended gcd, inverse modulo N (using egcd)
|
2 years ago |
|
arnaucube
|
9468993bda
|
Add FFT & Roots of Unity in Sage
|
2 years ago |
|
arnaucube
|
0acbacb2f1
|
init commit
|
2 years ago |
