All pull requests

Pull requests

• feat(bitz): add bitification of a witness over a finitely generated ring

  #1346·aryaethn opened Oct 26, 2026Contributor·

  ·
  3

• feat(binius): prove fused FRI-Binius composition

  #1342·chung-thai-nguyen opened Oct 25, 2026Collaborator·

  ·
  3

• feat(logup): build executable native lookup arguments

  #1341·alexanderlhicks opened Oct 24, 2026Collaborator·

  ·
  2

• feat(bitz): relax the overflow bound by a CRT argument (Remark A.1, Method 2)

  #1340·aryaethn opened Oct 24, 2026Contributor·

  ·
  1

  3

• feat(ConstraintSystem): add lookups by logarithmic derivatives (LogUp)

  #1334·tcoratger opened Oct 23, 2026Contributor·

  ·
  11

• feat(Sumcheck): prove soundness by counting, and the compressed round messages

  #1333·tcoratger opened Oct 23, 2026Contributor·

  ·
  2

• feat(ConstraintSystem): add the AIR relation with constraint domains and selectors

  #1332·tcoratger opened Oct 23, 2026Contributor·

  ·
  2

• feat(Interleaving): prove the field-size-weighted interleaving bound (Jo26 Theorem 4.2)

  #1314·BruceLoveLee000 opened Oct 19, 2026Contributor·

  ·
  2

• Prove stopped knowledge security for encoded random-oracle queries

  #1283·quangvdao opened Oct 4, 2026Collaborator·

  ·
  5

• Simulate encoded random-oracle queries with full cache and charge transport

  #1282·quangvdao opened Oct 4, 2026Collaborator·

  ·
  5

• Prove honest Fiat–Shamir completeness from native interactive execution

  #1280·quangvdao opened Oct 4, 2026Collaborator·

  ·
  5

• Prove native single-salt Fiat–Shamir security and Sumcheck bounds

  #1277·quangvdao opened Oct 4, 2026Collaborator·

  ·
  5

• Prove stopped restoration security with actual query costs

  #1274·quangvdao opened Oct 4, 2026Collaborator·

  ·
  5

• Prove native Sumcheck restoration soundness with expected query bounds

  #1269·quangvdao opened Oct 3, 2026Collaborator·7/7·

  ·
  5

• Prove native randomized knowledge bounds from actual query cost

  #1268·quangvdao opened Oct 3, 2026Collaborator·6/7·

  ·
  5

• Model randomized restoration with actual cached query budgets

  #1267·quangvdao opened Oct 3, 2026Collaborator·5/7·

  ·
  5

• docs: map interaction security literature and fix general-theory contract

  #1258·quangvdao opened Oct 3, 2026Collaborator·

  ·
  5

• feat(sumcheck): expose honest round polynomial identities

  #1128·eliasjudin opened Sep 24, 2026Contributor·

  ·
  3

• feat(dsfs): prove Theorems 6.1 and 6.2

  #848·chung-thai-nguyen opened Sep 3, 2026Collaborator·2/2·

  ·
  14

• feat(gkr): formalize the GKR protocol with perfect completeness

  #818·dolijan opened Aug 31, 2026·

  ·
  5

• fix(BCIKS20): repair separability, Claim A.2, and §5 hypotheses

  #787·alexanderlhicks opened Aug 20, 2026Collaborator·

  ·
  5

• feat(coding-theory): threshold-form public faces for the proved bound catalog

  #776·alexanderlhicks opened Aug 18, 2026Collaborator·

  ·
  2

• Partial proof for rs_lambda_superpoly_extension

  automated-proof
  #737·aleph-prover[bot] opened Aug 13, 2026Bot·

  ·
  1

• feat(KZG): de-vacuate evaluation binding and prove the t-SDH GGM soundness bound

  #655·emberian opened Jul 17, 2026·

  ·
  2

• feat(ring-switching): add reusable packing proofs and protocol integrations

  #615·alexanderlhicks opened Jul 7, 2026Collaborator·

  ·
  4