arnaucube/math
1
1
Fork 0
mirror of https://github.com/arnaucube/math.git synced 2026-06-13 03:01:47 +02:00
Code Issues Projects Releases Packages Wiki Activity
No description
84 commits 27 branches 0 tags 39 MiB
  • TeX 90.8%
  • Sage 9.2%
Find a file
Exact
arnaucube c72895bc22
 add notes on Reed-Solomon codes (#24)
2026-05-19 19:05:53 +02: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 R1CS & QAP & simplified QAP proving notes (#15) 2026-04-01 04:37:49 +02:00
abstract-algebra-charles-pinter-notes.pdf (Galois) characterization of finite fields (#11) 2026-04-20 12:18:18 +02:00
abstract-algebra-charles-pinter-notes.tex (Galois) characterization of finite fields (#11) 2026-04-20 12:18:18 +02:00
algebraic-coding-theory-notes.pdf add notes on Reed-Solomon codes (#24) 2026-05-19 19:05:53 +02:00
algebraic-coding-theory-notes.tex add notes on Reed-Solomon codes (#24) 2026-05-19 19:05:53 +02: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 Cyclic codes notes (#21) 2026-04-20 12:21:18 +02:00
commutative-algebra-notes.tex Cyclic codes notes (#21) 2026-04-20 12:21:18 +02: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 (Galois) characterization of finite fields (#11) 2026-04-20 12:18:18 +02:00
galois-theory-notes.tex (Galois) characterization of finite fields (#11) 2026-04-20 12:18:18 +02: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
pinocchio-groth16.pdf Groth16 notes (#22) 2026-04-23 05:46:23 +02:00
pinocchio-groth16.tex Groth16 notes (#22) 2026-04-23 05:46:23 +02:00
powersoftau.sage Add powersoftau.sage 2023-01-02 10:52:56 +01:00
README.md Pinocchio scheme (conceptual version, protocol 1) (#17) 2026-04-08 02:12:35 +02: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 notes on BCH codes (#23) 2026-05-12 19:04:05 +02:00

README.md

math/cryptography

Usually while studying papers and books I take handwritten notes, this section contains some of them re-written to LaTeX. The notes are not complete, don’t include all the steps neither the explanations neither most of the proofs. I use these notes to revisit the concepts after some time of reading the paper.

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 .