arnaucube
arnaucube/mathPublic Self-hosted repository

Commit history

comm-alg
a
add Noetherian exercises 3.3 & 3.4
arnaucube committed on Dec 29, 2025
f0f54c8
a
Hilbert basis theorem, Noetherian module properties
arnaucube committed on Dec 28, 2025
fb52eea
a
Noetherian rings: add ex. 3.2 & 3.5
arnaucube committed on Dec 28, 2025
0d3a56f
a
port exercise R.2.9
arnaucube committed on Dec 27, 2025
7f29627
a
add proof for split exact sequences
arnaucube committed on Dec 26, 2025
8eafa37
a
port initial notes on commutative algebra (ideals, modules, Noetherian rings) (#1) * port initial notes on commutative algebra: ideals & modules, Nakayama's lemma, etc * port notes on Noetherian rings&modules * add ideals related definitions * improve Cayley-Hamilton proof (specially determinant trick explanation) * polishing * add typos detection * add some exercises, and proof of Z and K[X} being PID
arnaucube committed on Dec 25, 2025
92a8f27
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
arnaucube committed on Dec 13, 2025
7531c35
a
galois-notes.tex: detour, isomorphism theorems
arnaucube committed on Oct 19, 2025
6593857
a
galois notes: add cyclotomic polynomials notes
arnaucube committed on Oct 5, 2025
561324b
a
extend Galois Theory notes: add various 'tools'(useful theorems that don't appear in the book), add t^6-7\in Q example
arnaucube committed on Sep 21, 2025
348300f
a
upload NTT notes
arnaucube committed on Jun 8, 2025
0735beb
a
small updates to notes_fri_stir.tex
arnaucube committed on Apr 5, 2025
072c552
a
updated FRI notes, with STIR main idea
arnaucube committed on Dec 14, 2024
5f14f63
a
add initial version of galois-theory-notes.tex
arnaucube committed on Apr 28, 2024
b976b63
a
add typos.toml config and fix typos
arnaucube committed on Mar 16, 2024
4828f66
a
update abstract-algebra notes
arnaucube committed on Mar 16, 2024
a894959
a
abstract algebra: add proof of F_p with p prime
arnaucube committed on Sep 24, 2023
d90f24e
a
hypernova multifolding slides part 1 (intro) & 2 (multifolding unfolded)
arnaucube committed on Aug 7, 2023
0e6992c
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
arnaucube committed on Jun 23, 2023
2396da9
a
Add weil reciprocity example, weil pairing properties, small typo in hypernova notes
arnaucube committed on Jun 21, 2023
cc9bb99
a
weil-pairing.tex add rational functions & divisors section
arnaucube committed on Jun 20, 2023
a0c0742
a
hypernova: add section for multifolding multiple instances (μ,ν > 1)
arnaucube committed on Jun 11, 2023
f1079b0
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.
arnaucube committed on Jun 8, 2023
a40e9b6
a
hypernova: add relation to Spartan sec4
arnaucube committed on May 28, 2023
c73c087
a
hypernova: add multifolding diagram also add some more notes to spartan
arnaucube committed on May 21, 2023
3ea6107
a
update hypernova notes, add details on V multifolding check
arnaucube committed on May 21, 2023
dc443a8
a
hypernova: add sparse multilinear extension from matrix details
arnaucube committed on May 18, 2023
47ed478
a
add initial HyperNova notes
arnaucube committed on May 16, 2023
fd81029
a
add R1CS to CCS Sage impl (CCS: https://eprint.iacr.org/2023/552)
arnaucube committed on May 15, 2023
87f44f2
a
update Spartan notes with recaps
arnaucube committed on May 13, 2023
83fe57e
a
small update on notes_nova, fix typo on notes_halo
arnaucube committed on May 1, 2023
ba6a51e
a
Update Nova notes
arnaucube committed on Apr 18, 2023
69baaa0
a
Add first part Spartan notes, continue Nova notes
arnaucube committed on Apr 15, 2023
5e13871
a
small update to IPA notes
arnaucube committed on Apr 5, 2023
d509900
a
Add FRI polynomial commitment section
arnaucube committed on Mar 18, 2023
adceb53
a
FRI notes: simplify proving, add verification steps
arnaucube committed on Mar 5, 2023
fcb0aba
a
Update Caulk+ notes, add initial FRI & Nova notes Update Caulk notes with minimal Caulk+ overview. Add initial notes on FRI & Nova.
arnaucube committed on Feb 26, 2023
e149070
a
Add Caulk initial notes
arnaucube committed on Feb 12, 2023
a2dcc8f
a
Add Reed-Solomon notes
arnaucube committed on Feb 12, 2023
8dc59ea
a
abstr-algebra: add field extensions & vectorspaces
arnaucube committed on Feb 12, 2023
5f0a3f4
a
Add missing dates
arnaucube committed on Jan 21, 2023
e8f76ef
a
Add powersoftau.sage
arnaucube committed on Jan 2, 2023
ff2c5fa
a
Add KZG commitments Sage impl
arnaucube committed on Jan 2, 2023
baa40a2
a
Update bls12-381.sage interface to unexpose params to avoid var name collisions when using it
arnaucube committed on Jan 2, 2023
9c03a71
a
Add pairings initial notes
arnaucube committed on Aug 26, 2022
11e7cc5
a
Add FFT latex notes (incomplete)
arnaucube committed on Aug 22, 2022
6b8b9e7
a
Sage impls single-files code&tests
arnaucube committed on Aug 16, 2022
3a0aca0
a
split paper notes files
arnaucube committed on Aug 16, 2022
996a3e8
a
Add BLS signatures on bls12-381
arnaucube committed on Aug 12, 2022
24aa7a6
a
Add Blind Sig over EC Sage impl
arnaucube committed on Aug 12, 2022
498a522
a
paper-notes: Add modified IPA (from Halo)
arnaucube committed on Jul 18, 2022
e52ff3a
a
paper-notes: add BLS signatures notes
arnaucube committed on Jul 16, 2022
9bdd887
a
Add sigma-or-notes
arnaucube committed on Jul 14, 2022
1d65a57
a
IPA: add binary counting structure s computation
arnaucube committed on Jul 10, 2022
7c3727c
a
Add Inner Product Argument (IPA) implementations Add Inner Product Argument (IPA) implementations: - Bulletproofs version - Halo paper version (modified IPA)
arnaucube committed on Jul 2, 2022
17a3a9e
a
Add paper-notes backup
arnaucube committed on Jun 11, 2022
7978531
a
Add ring signatures sage implementation (bLSAG)
arnaucube committed on Mar 27, 2022
17a83ba
a
Add sage impl of Sigma protocol & OR proofs
arnaucube committed on Mar 13, 2022
dedd181
a
minor updates
arnaucube committed on Mar 13, 2022
a431ca9
a
Add AbstractAlgebra notes ch18-ch26
arnaucube committed on Feb 26, 2022
1e98a56
a
Add init seminar exercises
arnaucube committed on Feb 20, 2022
e69a4b7
a
Add AbstractAlgebra notes until ch18
arnaucube committed on Feb 20, 2022
f2c593a
a
Add fast polynomial multiplication using FFT
arnaucube committed on Feb 20, 2022
64c254b
a
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)
arnaucube committed on Feb 20, 2022
e14b94a
a
Add FFT & Roots of Unity in Sage
arnaucube committed on Feb 19, 2022
9468993
a
init commit
arnaucube committed on Feb 19, 2022
0acbacb