53 Commits (master)
 

Author SHA1 Message Date
  arnaucube b976b6329a add initial version of galois-theory-notes.tex 5 months ago
  arnaucube 4828f66236 add typos.toml config and fix typos 6 months ago
  arnaucube a8949595a5 update abstract-algebra notes 6 months ago
  arnaucube d90f24e36e abstract algebra: add proof of F_p with p prime 1 year ago
  arnaucube 0e6992c253 hypernova multifolding slides part 1 (intro) & 2 (multifolding unfolded) 1 year ago
  arnaucube 2396da9984 add hypernova multifolding slides, udpate notes_hypernova 1 year ago
  arnaucube cc9bb99ac5 Add weil reciprocity example, weil pairing properties, small typo in hypernova notes 1 year ago
  arnaucube a0c0742815 weil-pairing.tex add rational functions & divisors section 1 year ago
  arnaucube f1079b0a74 hypernova: add section for multifolding multiple instances (μ,ν > 1) 1 year ago
  arnaucube a40e9b6cc4 add ccs-plonk.sage 1 year ago
  arnaucube c73c087a29 hypernova: add relation to Spartan sec4 1 year ago
  arnaucube 3ea610705a hypernova: add multifolding diagram 1 year ago
  arnaucube dc443a8c6a update hypernova notes, add details on V multifolding check 1 year ago
  arnaucube 47ed478835 hypernova: add sparse multilinear extension from matrix details 1 year ago
  arnaucube fd810298c9 add initial HyperNova notes 1 year ago
  arnaucube 87f44f21df add R1CS to CCS Sage impl (CCS: https://eprint.iacr.org/2023/552) 1 year ago
  arnaucube 83fe57e50f update Spartan notes with recaps 1 year ago
  arnaucube ba6a51e768 small update on notes_nova, fix typo on notes_halo 1 year ago
  arnaucube 69baaa0137 Update Nova notes 1 year ago
  arnaucube 5e138717c5 Add first part Spartan notes, continue Nova notes 1 year ago
  arnaucube d509900028 small update to IPA notes 1 year ago
  arnaucube adceb5308d Add FRI polynomial commitment section 1 year ago
  arnaucube fcb0aba0c2 FRI notes: simplify proving, add verification steps 1 year ago
  arnaucube e149070328 Update Caulk+ notes, add initial FRI & Nova notes 1 year ago
  arnaucube a2dcc8fc01 Add Caulk initial notes 1 year ago
  arnaucube 8dc59ea1b6 Add Reed-Solomon notes 1 year ago
  arnaucube 5f0a3f449e abstr-algebra: add field extensions & vectorspaces 1 year ago
  arnaucube e8f76efae6 Add missing dates 1 year ago
  arnaucube ff2c5fa9b3 Add powersoftau.sage 1 year ago
  arnaucube baa40a2b4a Add KZG commitments Sage impl 1 year ago
  arnaucube 9c03a71a8c Update bls12-381.sage interface to unexpose params to avoid var name collisions when using it 1 year ago
  arnaucube 11e7cc5613 Add pairings initial notes 2 years ago
  arnaucube 6b8b9e764b Add FFT latex notes (incomplete) 2 years ago
  arnaucube 3a0aca0f8c Sage impls single-files code&tests 2 years ago
  arnaucube 996a3e8f6a split paper notes files 2 years ago
  arnaucube 24aa7a6305 Add BLS signatures on bls12-381 2 years ago
  arnaucube 498a522e1d Add Blind Sig over EC Sage impl 2 years ago
  arnaucube e52ff3a039 paper-notes: Add modified IPA (from Halo) 2 years ago
  arnaucube 9bdd887377 paper-notes: add BLS signatures notes 2 years ago
  arnaucube 1d65a57e49 Add sigma-or-notes 2 years ago
  arnaucube 7c3727cd23 IPA: add binary counting structure s computation 2 years ago
  arnaucube 17a3a9eab2 Add Inner Product Argument (IPA) implementations 2 years ago
  arnaucube 7978531260 Add paper-notes backup 2 years ago
  arnaucube 17a83ba1f3 Add ring signatures sage implementation (bLSAG) 2 years ago
  arnaucube dedd181ae8 Add sage impl of Sigma protocol & OR proofs 2 years ago
  arnaucube a431ca9b92 minor updates 2 years ago
  arnaucube 1e98a56325 Add AbstractAlgebra notes ch18-ch26 2 years ago
  arnaucube e69a4b792f Add init seminar exercises 2 years ago
  arnaucube f2c593a6c2 Add AbstractAlgebra notes until ch18 2 years ago
  arnaucube 64c254bc43 Add fast polynomial multiplication using FFT 2 years ago