Boolean-kernel basis: native evaluation-form FRI folding, a multilinear PCS, post-quantum security, Lean 4 formalisation (no sorry)
TeX Updated 4 days ago 1 commits 2 stars
drift-coder|Mirror: qoosmo/kbfold (⭐2)
4 days agoAbout
Boolean-kernel basis: native evaluation-form FRI folding, a multilinear PCS, post-quantum security, Lean 4 formalisation (no sorry)
Readme
2 stars