Commit history
a
add notes on maximal and minimal cyclic codes, Hamming cyclic codes, idempotents
2d43188arnaucube committed on Apr 19, 2026
a
port notes on Pinocchio's protocol 2 (#19)
* port notes on Pinocchio's protocol 2 (the actual protocol)
* typos
cb53b38arnaucube committed on Apr 9, 2026
a
notes on MLCT & PG (projective geometry) (#18)
* notes on MLCT, first part (ch 2 & early 14)
* notes on the Projective Geometry
* fix typos
da81654arnaucube committed on Apr 9, 2026
a
Pinocchio scheme (conceptual version, protocol 1) (#17)
* add Pinocchio scheme conceptual version (Protocol 1)
* add sigma protocol notes
788c05earnaucube committed on Apr 8, 2026
a
notes on Hamming codes (#16)
* start porting notes on Hill's ch-8, Hamming codes
* alg-cod-th thm 8.4; comm-alg Hilbert basis conclusion
* q-ary Hamming codes
82044e2arnaucube committed on Apr 3, 2026
a
port R1CS & QAP & simplified QAP proving notes (#15)
* port R1CS & QAP notes
* port notes on powers-of-tau MPC ceremony
* qap relation
* add simplified protocol for proving QAP relation
* formatting & polishing
* polishing
50d9d98arnaucube committed on Apr 1, 2026
a
algebraic-coding-th: port exercises Hill's chapter 7 (#14)
bf4ea0earnaucube committed on Mar 29, 2026
a
Algebraic coding theory: Hill's chapter 7, dual-code, PCM, syndrome (#13)
* start porting notes of Hill's chapter 7 (dual codes, PCM, syndrome)
* complete porting notes of ch7
df09814arnaucube committed on Mar 26, 2026
a
Algebraic coding theory exercises chapters 5 & 6 (#12)
* add exercises chapter 5 (Hill)
* ex.6.1
* add ex.6.4
ce9126darnaucube committed on Mar 24, 2026
a
Start algebraic coding theory notes (#9)
* port initial notes on algebraic coding theory
* rest of chapters 4,5,6 notes
* typos
e213bacarnaucube committed on Mar 8, 2026
a
add exercises ch6 & polish Zariski's lemma, Weak Nullstellensatz, (strong) Nullstellensatz theorems (#8)
* add exercises 6.3, 6.4
* small typos
* small polishing
* polish Zariski's lemma & weak Nullstellensatz proofs
b5b12fcarnaucube committed on Feb 22, 2026
a
Rings of fractions & localization (#7)
* add extended proof of lemma 6.2
* port rest of ch 6 notes (localization, etc)
c3527f0arnaucube committed on Feb 8, 2026
a
port Nullstellensatz & Varieties notes (ch5) (#6)
* 5.1, Corollary 5.2
* variety def, Nullstellensatz proof, correspondences V - I
* port notes on propositions 5.3, 5.7, 5.8
* add missing conclusion at proposition 5.3
5e08a39arnaucube committed on Jan 25, 2026
a
improve Weak Nullstellensatz - Zariski's lemma proof, add chapter 4 exercises (#5)
- improve Weak Nullstellensatz - Zariski's lemma proof
- add chapter 4 exercises
38228a3arnaucube committed on Jan 17, 2026
a
Noether normalization & weak nullstellensatz thm (#4)
* add lemma 4.6 proof, polish Noether normalization lemma's proof, add aux lemma on integrality implies finiteness
* add weak nullstellensatz theorem and proof
bafd55farnaucube committed on Jan 11, 2026
a
port notes on A-algebras & Noether normalization & integral closures (#3)
* port notes on A-algebras & integral elems
* add R.4.3's proof & 4.4
* add Noether normalization proof
dfd49d1arnaucube committed on Jan 2, 2026
a
complete Noetherian rings/modules notes, add Hilbert basis theorem, some Noetherian exercises (#2)
* add proof for split exact sequences
* port exercise R.2.9
* Noetherian rings: add ex. 3.2 & 3.5
* Hilbert basis theorem, Noetherian module properties
* add Noetherian exercises 3.3 & 3.4
8967b2darnaucube committed on Dec 29, 2025
a
galois notes: port notes till chapter 14
- port chapter 14's notes
- add pending notes for ch 5 to 12
- add Rolle's theorem
7531c35arnaucube committed on Dec 13, 2025
a
extend Galois Theory notes: add various 'tools'(useful theorems that don't appear in the book), add t^6-7\in Q example
348300farnaucube committed on Sep 21, 2025
a
hypernova multifolding slides part 1 (intro) & 2 (multifolding unfolded)
0e6992carnaucube committed on Aug 7, 2023
a
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
2396da9arnaucube committed on Jun 23, 2023
a
Add weil reciprocity example, weil pairing properties, small typo in hypernova notes
cc9bb99arnaucube committed on Jun 21, 2023
a
weil-pairing.tex add rational functions & divisors section
a0c0742arnaucube committed on Jun 20, 2023
a
hypernova: add section for multifolding multiple instances (μ,ν > 1)
f1079b0arnaucube committed on Jun 11, 2023
a
add ccs-plonk.sage
Also rename r1cs-ccs.sage to ccs-r1cs.sage, so both r1cs & plonk scripts
are printed together in the directory.
a40e9b6arnaucube committed on Jun 8, 2023
a
hypernova: add multifolding diagram
also add some more notes to spartan
3ea6107arnaucube committed on May 21, 2023
a
update hypernova notes, add details on V multifolding check
dc443a8arnaucube committed on May 21, 2023
a
hypernova: add sparse multilinear extension from matrix details
47ed478arnaucube committed on May 18, 2023
a
add R1CS to CCS Sage impl (CCS: https://eprint.iacr.org/2023/552)
87f44f2arnaucube committed on May 15, 2023
a
Update Caulk+ notes, add initial FRI & Nova notes
Update Caulk notes with minimal Caulk+ overview.
Add initial notes on FRI & Nova.
e149070arnaucube committed on Feb 26, 2023
a
Update bls12-381.sage interface to unexpose params to avoid var name collisions when using it
9c03a71arnaucube committed on Jan 2, 2023
a
Add Inner Product Argument (IPA) implementations
Add Inner Product Argument (IPA) implementations:
- Bulletproofs version
- Halo paper version (modified IPA)
17a3a9earnaucube committed on Jul 2, 2022