Commit history
a
add notes on Tensor Product of Modules (#27)
* add notes on Tensor Product of Modules
* fix typos
b245b3darnaucube committed on Aug 24, 2026
a
Nullstellensatz: proof improve (#26)
* polish Zariski & Nullstellensatz proofs
* improve Zariski & Nullstellensatz proofs
* weak Nullstellensatz: expand on X_i-a_i \in m
* fix ref label
* add note
419bb3barnaucube committed on Aug 14, 2026
a
Lattices notes - proof of L^{\perp *} = 1/q L (#25)
* add notes on dual lattices (L=q L^{\perp *})
* polish proof on dual lattices
* complete dual lattices proof
* Hermite Normal Form, add remark on dual basis of lattice
* fix typos
f1f7c45arnaucube committed on Aug 12, 2026
a
notes on BCH codes (#23)
* add pending notes on cyclic codes, start BCH codes notes
* add pending notes on BCH codes
* fix typo
cb889cbarnaucube committed on May 12, 2026
a
Groth16 notes (#22)
* groth16 srs notes
* groth16 prover & verifier notes
* use \tau instead of g16 original x
5614499arnaucube committed on Apr 23, 2026
a
(Galois) characterization of finite fields (#11)
* galois-notes: add characterization of finite fields (ch16 & 20)
* latex formatting
c6bfbcdarnaucube committed on Apr 20, 2026
a
port notes on Pinocchio's protocol 2 (#19)
* port notes on Pinocchio's protocol 2 (the actual protocol)
* typos
566a772arnaucube 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
0790a25arnaucube committed on Apr 9, 2026
a
Pinocchio scheme (conceptual version, protocol 1) (#17)
* add Pinocchio scheme conceptual version (Protocol 1)
* add sigma protocol notes
52e7ae7arnaucube 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
bb0fc31arnaucube 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
4e98c9aarnaucube committed on Apr 1, 2026
a
algebraic-coding-th: port exercises Hill's chapter 7 (#14)
5b4243earnaucube 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
b70102earnaucube 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
5752dc1arnaucube 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
b32f7f8arnaucube 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
d134aa1arnaucube 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)
7aa69e0arnaucube 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
143c593arnaucube 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
39986f3arnaucube 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
5a5e859arnaucube 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
4a3f45darnaucube 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
c5b4652arnaucube committed on Dec 29, 2025
a
add hash-based signatures notes: SPHINCS, XMSS, WOTS+, HORST
9007647arnaucube committed on Dec 27, 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