Commit history
a
add lemma 4.6 proof, polish Noether normalization lemma's proof, add aux lemma on integrality implies finiteness
15f00f1arnaucube committed on Jan 4, 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