Repository navigation

100 and 128 bit security end to end - #138

Merged

shreyas-londhe merged 17 commits into

mainfrom

zkfr/e2e-security

Oct 12, 2026

Merged

100 and 128 bit security end to end#138
shreyas-londhe merged 17 commits into
mainfrom
zkfr/e2e-security

Commits on Sep 23, 2026
- refactor: share helpers for OOD commitments
  shreyas-londhe
  committed
  dc02b55
- feat: authenticate initial OOD claims in PCS openings
  shreyas-londhe
  committed
  6d102c7
- feat: bind OOD claims before circuit proof challenges
  shreyas-londhe
  committed
  39f5509
Commits on Sep 29, 2026
- wip: e2e security
  zkfriendly
  committed
  de70437
- feat: 128 bit pcs config
  zkfriendly
  committed
  5f928ab
- feat: add johnson and unique decoding bounds calculation
  zkfriendly
  committed
  a3e7617
Commits on Sep 30, 2026
- Merge main and preserve dynamic PCS security profiles
  zkfriendly
  committed
  735ef05
Commits on Oct 6, 2026
- Simplify dynamic security profiles and PCS integration
  zkfriendly
  committed
  ec6c8cf
- Move security policy from transcript to common
  zkfriendly
  committed
  1ac3287
- Simplify PCS security profile calculation flow
  zkfriendly
  committed
  fcbe1da
- refactor: reuse flock calculations
  zkfriendly
  committed
  ded2c1b
- Use multilinear initial OOD sampling without grinding
  zkfriendly
  committed
  6781fd9
- Simplify Johnson security parameters with closed formulas
  zkfriendly
  committed
  ec8b190
- Simplify 128-bit security profile calculations
  zkfriendly
  committed
  ee9db5a
- Clarify security configuration and level construction
  zkfriendly
  committed
  95cbf41
- Reuse Flock commitment state to reduce the diff
  zkfriendly
  committed
  d4a014e
- Simplify Ligerito grinding schedule construction
  zkfriendly
  committed
  d258b44

Commits

Commits on Sep 23, 2026

Commits on Sep 29, 2026

Commits on Sep 30, 2026

Commits on Oct 6, 2026