Commit Graph

Select branches

Hide Pull Requests

a-algebras-integrality

ch-5

comm-alg

commutative-alg

ex-ch-4

folding-slides

galois-update

master

noether-normalization

#1

#2

#3

#4

#5

#6

Mono Color

• 5e08a390b9 port Nullstellensatz & Varieties notes (ch5) (#6) master arnaucube 2026-01-25 22:04:47 +01:00
• 6df4b37939 add missing conclusion at proposition 5.3 ch-5 arnaucube 2026-01-25 12:59:52 +01:00
• 5b80edc1c9 port notes on propositions 5.3, 5.7, 5.8 arnaucube 2026-01-24 23:38:50 +01:00
• d1e53f10df variety def, Nullstellensatz proof, correspondences V - I arnaucube 2026-01-24 09:06:02 +01:00
• d2fad9d177 5.1, Corollary 5.2 arnaucube 2026-01-17 19:14:27 +01:00
• 38228a34ff improve Weak Nullstellensatz - Zariski's lemma proof, add chapter 4 exercises (#5) arnaucube 2026-01-17 16:17:49 +01:00
• 52a1597d49 improve Weak Nullstellensatz - Zariski's lemma proof, add chapter 4 exercises ex-ch-4 arnaucube 2026-01-17 12:13:57 +01:00
• bafd55f27f Noether normalization & weak nullstellensatz thm (#4) arnaucube 2026-01-11 22:35:04 +01:00
• 6c35d6cbcc add weak nullstellensatz theorem and proof noether-normalization arnaucube 2026-01-11 22:28:29 +01:00
• 15f00f14ff add lemma 4.6 proof, polish Noether normalization lemma's proof, add aux lemma on integrality implies finiteness arnaucube 2026-01-04 19:20:43 +01:00
• dfd49d1571 port notes on A-algebras & Noether normalization & integral closures (#3) arnaucube 2026-01-02 19:33:26 +01:00
• bd0d2543e7 add Noether normalization proof a-algebras-integrality arnaucube 2026-01-02 19:32:10 +01:00
• 9e4d129ab9 add R.4.3's proof & 4.4 arnaucube 2026-01-01 21:54:36 +01:00
• c32d8b831b port notes on A-algebras & integral elems arnaucube 2026-01-01 20:10:12 +01:00
• 8967b2dcc6 complete Noetherian rings/modules notes, add Hilbert basis theorem, some Noetherian exercises (#2) arnaucube 2025-12-29 21:54:53 +01:00
• f0f54c8f41 add Noetherian exercises 3.3 & 3.4 comm-alg arnaucube 2025-12-29 18:18:01 +01:00
• fb52eeacbb Hilbert basis theorem, Noetherian module properties arnaucube 2025-12-28 23:27:56 +01:00
• 0d3a56fec0 Noetherian rings: add ex. 3.2 & 3.5 arnaucube 2025-12-28 20:21:44 +01:00
• 7f29627348 port exercise R.2.9 arnaucube 2025-12-27 18:25:14 +01:00
• 8eafa372a2 add proof for split exact sequences arnaucube 2025-12-26 12:50:40 +01:00
• 92a8f27cd2 port initial notes on commutative algebra (ideals, modules, Noetherian rings) (#1) arnaucube 2025-12-25 13:02:49 +01:00
• bc22c72c89 add some exercises, and proof of Z and K[X} being PID commutative-alg arnaucube 2025-12-25 13:01:45 +01:00
• 94275b96b0 add typos detection arnaucube 2025-12-25 11:26:10 +01:00
• ea0ccb624f polishing arnaucube 2025-12-25 11:09:02 +01:00
• 606cfcbde7 improve Cayley-Hamilton proof (specially determinant trick explanation) arnaucube 2025-12-24 19:04:31 +01:00
• 25a8538245 add ideals related definitions arnaucube 2025-12-23 19:25:03 +01:00
• 0213a1e14f port notes on Noetherian rings&modules arnaucube 2025-12-23 15:36:44 +01:00
• 0de6f6c815 port initial notes on commutative algebra: ideals & modules arnaucube 2025-12-21 22:50:17 +01:00
• 7531c358e1 galois notes: port notes till chapter 14 arnaucube 2025-12-13 17:41:47 +01:00
• 6e0568042a port chapter 14's notes galois-update arnaucube 2025-12-14 20:36:04 +01:00
• a60b2caede add pending notes for ch 5 to 12 arnaucube 2025-12-13 19:46:39 +01:00
• 8053c32d2c update galois notes: Thm14.4 arnaucube 2025-12-13 17:41:47 +01:00
• 6593857e91 galois-notes.tex: detour, isomorphism theorems arnaucube 2025-10-19 16:57:48 +02:00
• 561324be5a galois notes: add cyclotomic polynomials notes arnaucube 2025-10-05 11:33:01 +02:00
• 348300f108 extend Galois Theory notes: add various 'tools'(useful theorems that don't appear in the book), add t^6-7\in Q example arnaucube 2025-09-21 17:45:55 +02:00
• 9d4f98781f add zksummit 2024 slides (with imgs dir) folding-slides arnaucube 2024-10-08 18:11:45 +02:00
• b04fced136 wip sonobe folding slides (sf) arnaucube 2024-08-07 19:19:32 +02:00
• 74f22e73bc update folding-sonobe slides arnaucube 2024-04-22 09:38:26 +02:00
• 3d8bf6674f add folding-sonobe slides draft arnaucube 2024-04-21 23:35:43 +02:00
• 0735beb8d7 upload NTT notes arnaucube 2025-06-08 21:25:16 +02:00
• 072c552fd6 small updates to notes_fri_stir.tex arnaucube 2025-04-05 02:32:54 +02:00
• 5f14f639a8 updated FRI notes, with STIR main idea arnaucube 2024-12-14 20:39:35 +01:00
• b976b6329a add initial version of galois-theory-notes.tex arnaucube 2024-04-28 10:21:32 +02:00
• 4828f66236 add typos.toml config and fix typos arnaucube 2024-03-16 11:36:56 +01:00
• a8949595a5 update abstract-algebra notes arnaucube 2024-03-16 11:16:18 +01:00
• d90f24e36e abstract algebra: add proof of F_p with p prime arnaucube 2023-09-24 13:51:57 +02:00
• 0e6992c253 hypernova multifolding slides part 1 (intro) & 2 (multifolding unfolded) arnaucube 2023-08-07 11:30:13 +02:00
• 2396da9984 add hypernova multifolding slides, udpate notes_hypernova arnaucube 2023-06-23 22:20:54 +02:00
• cc9bb99ac5 Add weil reciprocity example, weil pairing properties, small typo in hypernova notes arnaucube 2023-06-21 08:57:41 +02:00
• a0c0742815 weil-pairing.tex add rational functions & divisors section arnaucube 2023-06-20 10:29:04 +02:00
• f1079b0a74 hypernova: add section for multifolding multiple instances (μ,ν > 1) arnaucube 2023-06-11 18:49:50 +02:00
• a40e9b6cc4 add ccs-plonk.sage arnaucube 2023-06-08 12:02:58 +02:00
• c73c087a29 hypernova: add relation to Spartan sec4 arnaucube 2023-05-28 22:17:34 +02:00
• 3ea610705a hypernova: add multifolding diagram arnaucube 2023-05-21 23:37:09 +02:00
• dc443a8c6a update hypernova notes, add details on V multifolding check arnaucube 2023-05-21 22:25:55 +02:00
• 47ed478835 hypernova: add sparse multilinear extension from matrix details arnaucube 2023-05-18 00:08:03 +02:00
• fd810298c9 add initial HyperNova notes arnaucube 2023-05-16 00:32:59 +02:00
• 87f44f21df add R1CS to CCS Sage impl (CCS: https://eprint.iacr.org/2023/552) arnaucube 2023-05-15 22:22:27 +02:00
• 83fe57e50f update Spartan notes with recaps arnaucube 2023-05-13 10:50:42 +02:00
• ba6a51e768 small update on notes_nova, fix typo on notes_halo arnaucube 2023-05-01 20:09:47 +02:00
• 69baaa0137 Update Nova notes arnaucube 2023-04-18 23:57:02 +02:00
• 5e138717c5 Add first part Spartan notes, continue Nova notes arnaucube 2023-04-15 20:44:54 +02:00
• d509900028 small update to IPA notes arnaucube 2023-04-05 23:39:14 +02:00
• adceb5308d Add FRI polynomial commitment section arnaucube 2023-03-18 14:11:34 +01:00
• fcb0aba0c2 FRI notes: simplify proving, add verification steps arnaucube 2023-03-05 16:30:53 +01:00
• e149070328 Update Caulk+ notes, add initial FRI & Nova notes arnaucube 2023-02-26 17:26:53 +01:00
• a2dcc8fc01 Add Caulk initial notes arnaucube 2023-02-12 18:54:01 +01:00
• 8dc59ea1b6 Add Reed-Solomon notes arnaucube 2023-02-12 18:53:22 +01:00
• 5f0a3f449e abstr-algebra: add field extensions & vectorspaces arnaucube 2023-02-12 14:10:41 +01:00
• e8f76efae6 Add missing dates arnaucube 2023-01-21 16:02:30 +01:00
• ff2c5fa9b3 Add powersoftau.sage arnaucube 2023-01-02 10:52:56 +01:00
• baa40a2b4a Add KZG commitments Sage impl arnaucube 2023-01-02 10:48:28 +01:00
• 9c03a71a8c Update bls12-381.sage interface to unexpose params to avoid var name collisions when using it arnaucube 2023-01-02 10:46:32 +01:00
• 11e7cc5613 Add pairings initial notes arnaucube 2022-08-26 10:24:32 +02:00
• 6b8b9e764b Add FFT latex notes (incomplete) arnaucube 2022-08-22 10:38:32 +02:00
• 3a0aca0f8c Sage impls single-files code&tests arnaucube 2022-08-16 19:55:41 +02:00
• 996a3e8f6a split paper notes files arnaucube 2022-08-16 19:22:18 +02:00
• 24aa7a6305 Add BLS signatures on bls12-381 arnaucube 2022-08-12 15:33:29 +02:00
• 498a522e1d Add Blind Sig over EC Sage impl arnaucube 2022-08-12 15:30:19 +02:00
• e52ff3a039 paper-notes: Add modified IPA (from Halo) arnaucube 2022-07-18 21:20:31 +02:00
• 9bdd887377 paper-notes: add BLS signatures notes arnaucube 2022-07-16 16:42:36 +02:00
• 1d65a57e49 Add sigma-or-notes arnaucube 2022-07-14 11:58:55 +02:00
• 7c3727cd23 IPA: add binary counting structure s computation arnaucube 2022-07-10 15:43:54 +02:00
• 17a3a9eab2 Add Inner Product Argument (IPA) implementations arnaucube 2022-07-02 19:12:40 +02:00
• 7978531260 Add paper-notes backup arnaucube 2022-06-11 22:07:19 +02:00
• 17a83ba1f3 Add ring signatures sage implementation (bLSAG) arnaucube 2022-03-27 20:20:16 +02:00
• dedd181ae8 Add sage impl of Sigma protocol & OR proofs arnaucube 2022-03-13 11:36:25 +01:00
• a431ca9b92 minor updates arnaucube 2022-03-13 11:35:31 +01:00
• 1e98a56325 Add AbstractAlgebra notes ch18-ch26 arnaucube 2022-02-26 18:38:53 +01:00
• e69a4b792f Add init seminar exercises arnaucube 2022-02-20 23:05:41 +01:00
• f2c593a6c2 Add AbstractAlgebra notes until ch18 arnaucube 2022-02-20 18:46:15 +01:00
• 64c254bc43 Add fast polynomial multiplication using FFT arnaucube 2022-02-20 12:44:39 +01:00
• e14b94a8db Add CRT, gcd, extended gcd, inverse modulo N arnaucube 2022-02-20 12:41:33 +01:00
• 9468993bda Add FFT & Roots of Unity in Sage arnaucube 2022-02-19 10:59:09 +01:00
• 0acbacb2f1 init commit arnaucube 2022-02-19 10:56:54 +01:00