arnaucube/math
1
1
Fork 0
mirror of https://github.com/arnaucube/math.git synced 2026-03-22 23:36:40 +01:00
Code Issues Projects Releases Packages Wiki Activity
No description
70 commits 15 branches 0 tags 34 MiB
  • TeX 88.4%
  • Sage 11.6%
Find a file
Exact
arnaucube 08dbeed331
 Zariski & Weak Nullstellensatz & Nullstellensatz proofs improvements (#10) 
* polish Zariski's & Weak Nullstellensatz & Nullstellensatz proofs

* small modifs of abstract-algebra & galois-theory notes

* subsection title

* (wip) interconnected Zariski + Weak Nullstellensatz + Nullstellensatz proofs

* fix small typo

* last part of Weak Nullstellensatz to Nullstellensatz connection, Nullstellensatz proof
2026-03-21 03:03:42 +01:00
.github/workflows add exercises ch6 & polish Zariski's lemma, Weak Nullstellensatz, (strong) Nullstellensatz theorems (#8) 2026-02-22 22:53:19 +01:00
.gitignore port initial notes on commutative algebra (ideals, modules, Noetherian rings) (#1) 2025-12-25 13:02:49 +01:00
abstract-algebra-charles-pinter-notes.pdf Zariski & Weak Nullstellensatz & Nullstellensatz proofs improvements (#10) 2026-03-21 03:03:42 +01:00
abstract-algebra-charles-pinter-notes.tex Zariski & Weak Nullstellensatz & Nullstellensatz proofs improvements (#10) 2026-03-21 03:03:42 +01:00
algebraic-coding-theory-notes.bib Start algebraic coding theory notes (#9) 2026-03-08 20:32:31 +01:00
algebraic-coding-theory-notes.pdf Start algebraic coding theory notes (#9) 2026-03-08 20:32:31 +01:00
algebraic-coding-theory-notes.tex Start algebraic coding theory notes (#9) 2026-03-08 20:32:31 +01:00
blind-sign-over-ec.sage Add pairings initial notes 2022-08-26 10:24:32 +02:00
bls-sigs.sage Update bls12-381.sage interface to unexpose params to avoid var name collisions when using it 2023-01-02 10:46:32 +01:00
bls12-381.sage Update bls12-381.sage interface to unexpose params to avoid var name collisions when using it 2023-01-02 10:46:32 +01:00
ccs-plonk.sage add ccs-plonk.sage 2023-06-08 12:02:58 +02:00
ccs-r1cs.sage add ccs-plonk.sage 2023-06-08 12:02:58 +02:00
commutative-algebra-notes.pdf Zariski & Weak Nullstellensatz & Nullstellensatz proofs improvements (#10) 2026-03-21 03:03:42 +01:00
commutative-algebra-notes.tex Zariski & Weak Nullstellensatz & Nullstellensatz proofs improvements (#10) 2026-03-21 03:03:42 +01:00
fft-notes.bib Add FFT latex notes (incomplete) 2022-08-22 10:38:32 +02:00
fft-notes.pdf Add FFT latex notes (incomplete) 2022-08-22 10:38:32 +02:00
fft-notes.tex Add FFT latex notes (incomplete) 2022-08-22 10:38:32 +02:00
fft.sage add typos.toml config and fix typos 2024-03-16 11:36:56 +01:00
galois-theory-notes.pdf Zariski & Weak Nullstellensatz & Nullstellensatz proofs improvements (#10) 2026-03-21 03:03:42 +01:00
galois-theory-notes.tex Zariski & Weak Nullstellensatz & Nullstellensatz proofs improvements (#10) 2026-03-21 03:03:42 +01:00
ipa.sage add typos.toml config and fix typos 2024-03-16 11:36:56 +01:00
kzg.sage Add KZG commitments Sage impl 2023-01-02 10:48:28 +01:00
LICENSE init commit 2022-02-19 10:56:54 +01:00
notes_bls-sig.pdf add typos.toml config and fix typos 2024-03-16 11:36:56 +01:00
notes_bls-sig.tex add typos.toml config and fix typos 2024-03-16 11:36:56 +01:00
notes_caulk.pdf add typos.toml config and fix typos 2024-03-16 11:36:56 +01:00
notes_caulk.tex add typos.toml config and fix typos 2024-03-16 11:36:56 +01:00
notes_fri_stir.pdf port initial notes on commutative algebra (ideals, modules, Noetherian rings) (#1) 2025-12-25 13:02:49 +01:00
notes_fri_stir.tex port initial notes on commutative algebra (ideals, modules, Noetherian rings) (#1) 2025-12-25 13:02:49 +01:00
notes_halo.pdf small update on notes_nova, fix typo on notes_halo 2023-05-01 20:09:47 +02:00
notes_halo.tex small update on notes_nova, fix typo on notes_halo 2023-05-01 20:09:47 +02:00
notes_hypernova.pdf add typos.toml config and fix typos 2024-03-16 11:36:56 +01:00
notes_hypernova.tex add typos.toml config and fix typos 2024-03-16 11:36:56 +01:00
notes_nova.pdf add typos.toml config and fix typos 2024-03-16 11:36:56 +01:00
notes_nova.tex add typos.toml config and fix typos 2024-03-16 11:36:56 +01:00
notes_ntt.pdf galois notes: add cyclotomic polynomials notes 2025-10-05 11:33:01 +02:00
notes_ntt.tex galois notes: add cyclotomic polynomials notes 2025-10-05 11:33:01 +02:00
notes_reed-solomon.bib Add Reed-Solomon notes 2023-02-12 18:53:22 +01:00
notes_reed-solomon.pdf add typos.toml config and fix typos 2024-03-16 11:36:56 +01:00
notes_reed-solomon.tex add typos.toml config and fix typos 2024-03-16 11:36:56 +01:00
notes_sonic.pdf add typos.toml config and fix typos 2024-03-16 11:36:56 +01:00
notes_sonic.tex add typos.toml config and fix typos 2024-03-16 11:36:56 +01:00
notes_spartan.pdf add typos.toml config and fix typos 2024-03-16 11:36:56 +01:00
notes_spartan.tex add typos.toml config and fix typos 2024-03-16 11:36:56 +01:00
number-theory.sage Sage impls single-files code&tests 2022-08-16 19:55:41 +02:00
paper-notes.bib upload NTT notes 2025-06-08 21:25:16 +02:00
powersoftau.sage Add powersoftau.sage 2023-01-02 10:52:56 +01:00
README.md Start algebraic coding theory notes (#9) 2026-03-08 20:32:31 +01:00
ring-signatures.sage Sage impls single-files code&tests 2022-08-16 19:55:41 +02:00
seminarexercises.pdf Add AbstractAlgebra notes ch18-ch26 2022-02-26 18:51:22 +01:00
seminarexercises.tex Add AbstractAlgebra notes ch18-ch26 2022-02-26 18:51:22 +01:00
sigma-or-notes.pdf Add missing dates 2023-01-21 16:02:30 +01:00
sigma-or-notes.tex Add sigma-or-notes 2022-07-14 11:58:55 +02:00
sigma.sage add typos.toml config and fix typos 2024-03-16 11:36:56 +01:00
slides_hypernova-part1-introduction.pdf add typos.toml config and fix typos 2024-03-16 11:36:56 +01:00
slides_hypernova-part1-introduction.tex add typos.toml config and fix typos 2024-03-16 11:36:56 +01:00
slides_hypernova-part2-multifolding-unfolded.pdf hypernova multifolding slides part 1 (intro) & 2 (multifolding unfolded) 2023-08-07 11:30:13 +02:00
slides_hypernova-part2-multifolding-unfolded.tex hypernova multifolding slides part 1 (intro) & 2 (multifolding unfolded) 2023-08-07 11:30:13 +02:00
weil-pairing.pdf extend Galois Theory notes: add various 'tools'(useful theorems that don't appear in the book), add t^6-7\in Q example 2025-09-21 17:45:55 +02:00
weil-pairing.tex extend Galois Theory notes: add various 'tools'(useful theorems that don't appear in the book), add t^6-7\in Q example 2025-09-21 17:45:55 +02:00

README.md

math/cryptography

Notes, code and documents done while reading books and papers.

mathematics

In-between math & crypto:

cryptography

code

Also some Sage implementations can be found in the *.sage files of this repo. Also some of the algorithms and schemes can be found implemented (mostly in Rust language) in various repositories of the github https://github.com/arnaucube .