arnaucube
/
math
mirror of https://github.com/arnaucube/math.git
1
1
Fork 0
Code Issues Projects Releases Wiki Activity

Commit Graph

  • 5f14f63 (HEAD -> master) updated FRI notes, with STIR main idea by arnaucube 2024-12-14 20:39:35 +0100
  • abd33af (folding-slides) wip sonobe folding slides (sf) by arnaucube 2024-08-07 19:19:32 +0200
  • b976b63 add initial version of galois-theory-notes.tex by arnaucube 2024-04-28 10:21:32 +0200
  • 1e0e798 update folding-sonobe slides by arnaucube 2024-04-22 09:38:26 +0200
  • 7f4c8b3 add folding-sonobe slides draft by arnaucube 2024-04-21 23:35:43 +0200
  • 4828f66 add typos.toml config and fix typos by arnaucube 2024-03-16 11:36:56 +0100
  • a894959 update abstract-algebra notes by arnaucube 2024-03-16 11:16:18 +0100
  • d90f24e abstract algebra: add proof of F_p with p prime by arnaucube 2023-09-24 13:51:57 +0200
  • 0e6992c hypernova multifolding slides part 1 (intro) & 2 (multifolding unfolded) by arnaucube 2023-08-07 11:30:13 +0200
  • 2396da9 add hypernova multifolding slides, udpate notes_hypernova by arnaucube 2023-06-23 22:20:54 +0200
  • cc9bb99 Add weil reciprocity example, weil pairing properties, small typo in hypernova notes by arnaucube 2023-06-21 08:57:41 +0200
  • a0c0742 weil-pairing.tex add rational functions & divisors section by arnaucube 2023-06-20 10:29:04 +0200
  • f1079b0 hypernova: add section for multifolding multiple instances (μ,ν > 1) by arnaucube 2023-06-11 18:49:50 +0200
  • a40e9b6 add ccs-plonk.sage by arnaucube 2023-06-08 12:02:58 +0200
  • c73c087 hypernova: add relation to Spartan sec4 by arnaucube 2023-05-28 22:17:34 +0200
  • 3ea6107 hypernova: add multifolding diagram by arnaucube 2023-05-21 23:37:09 +0200
  • dc443a8 update hypernova notes, add details on V multifolding check by arnaucube 2023-05-21 22:25:55 +0200
  • 47ed478 hypernova: add sparse multilinear extension from matrix details by arnaucube 2023-05-18 00:08:03 +0200
  • fd81029 add initial HyperNova notes by arnaucube 2023-05-16 00:32:59 +0200
  • 87f44f2 add R1CS to CCS Sage impl (CCS: https://eprint.iacr.org/2023/552) by arnaucube 2023-05-15 22:22:27 +0200
  • 83fe57e update Spartan notes with recaps by arnaucube 2023-05-13 10:50:42 +0200
  • ba6a51e small update on notes_nova, fix typo on notes_halo by arnaucube 2023-05-01 20:09:47 +0200
  • 69baaa0 Update Nova notes by arnaucube 2023-04-18 23:57:02 +0200
  • 5e13871 Add first part Spartan notes, continue Nova notes by arnaucube 2023-04-15 20:44:54 +0200
  • d509900 small update to IPA notes by arnaucube 2023-04-05 23:39:14 +0200
  • adceb53 Add FRI polynomial commitment section by arnaucube 2023-03-18 14:11:34 +0100
  • fcb0aba FRI notes: simplify proving, add verification steps by arnaucube 2023-03-05 16:30:53 +0100
  • e149070 Update Caulk+ notes, add initial FRI & Nova notes by arnaucube 2023-02-26 17:26:53 +0100
  • a2dcc8f Add Caulk initial notes by arnaucube 2023-02-12 18:54:01 +0100
  • 8dc59ea Add Reed-Solomon notes by arnaucube 2023-02-12 18:53:22 +0100
  • 5f0a3f4 abstr-algebra: add field extensions & vectorspaces by arnaucube 2023-02-12 14:10:41 +0100
  • e8f76ef Add missing dates by arnaucube 2023-01-21 16:02:30 +0100
  • ff2c5fa Add powersoftau.sage by arnaucube 2023-01-02 10:52:56 +0100
  • baa40a2 Add KZG commitments Sage impl by arnaucube 2023-01-02 10:48:28 +0100
  • 9c03a71 Update bls12-381.sage interface to unexpose params to avoid var name collisions when using it by arnaucube 2023-01-02 10:46:32 +0100
  • 11e7cc5 Add pairings initial notes by arnaucube 2022-08-26 10:24:32 +0200
  • 6b8b9e7 Add FFT latex notes (incomplete) by arnaucube 2022-08-22 10:38:32 +0200
  • 3a0aca0 Sage impls single-files code&tests by arnaucube 2022-08-16 19:55:41 +0200
  • 996a3e8 split paper notes files by arnaucube 2022-08-16 19:22:18 +0200
  • 24aa7a6 Add BLS signatures on bls12-381 by arnaucube 2022-08-12 15:33:29 +0200
  • 498a522 Add Blind Sig over EC Sage impl by arnaucube 2022-08-12 15:30:19 +0200
  • e52ff3a paper-notes: Add modified IPA (from Halo) by arnaucube 2022-07-18 21:20:31 +0200
  • 9bdd887 paper-notes: add BLS signatures notes by arnaucube 2022-07-16 16:42:36 +0200
  • 1d65a57 Add sigma-or-notes by arnaucube 2022-07-14 11:58:55 +0200
  • 7c3727c IPA: add binary counting structure s computation by arnaucube 2022-07-10 15:43:54 +0200
  • 17a3a9e Add Inner Product Argument (IPA) implementations by arnaucube 2022-07-02 19:12:40 +0200
  • 7978531 Add paper-notes backup by arnaucube 2022-06-11 22:07:19 +0200
  • 17a83ba Add ring signatures sage implementation (bLSAG) by arnaucube 2022-03-27 20:20:16 +0200
  • dedd181 Add sage impl of Sigma protocol & OR proofs by arnaucube 2022-03-13 11:36:25 +0100
  • a431ca9 minor updates by arnaucube 2022-03-13 11:35:31 +0100
  • 1e98a56 Add AbstractAlgebra notes ch18-ch26 by arnaucube 2022-02-26 18:38:53 +0100
  • e69a4b7 Add init seminar exercises by arnaucube 2022-02-20 23:05:41 +0100
  • f2c593a Add AbstractAlgebra notes until ch18 by arnaucube 2022-02-20 18:46:15 +0100
  • 64c254b Add fast polynomial multiplication using FFT by arnaucube 2022-02-20 12:44:39 +0100
  • e14b94a Add CRT, gcd, extended gcd, inverse modulo N by arnaucube 2022-02-20 12:41:33 +0100
  • 9468993 Add FFT & Roots of Unity in Sage by arnaucube 2022-02-19 10:59:09 +0100
  • 0acbacb init commit by arnaucube 2022-02-19 10:56:54 +0100