Issues

• Rewinding knowledge soundness: shared engine, legacy and native instances

  Verified-zkEVM/ArkLib#1410 · Filter by author quangvdao opened on Oct 29, 2026

• Formalize Akita (ePrint 2026/1983): recursive lattice PCS with checkpoint extraction

  Verified-zkEVM/ArkLib#1378 · Filter by author quangvdao opened on Oct 28, 2026

• Move to VCVio main (PolyFun 4181c82)

  Verified-zkEVM/ArkLib#1356 · Filter by author spitters opened on Oct 27, 2026

• Solicited proofs: coding-theory lower bounds and separations

  Verified-zkEVM/ArkLib#1352 · Filter by author quangvdao opened on Oct 27, 2026

• BitZ (ePrint 2026/2141): Construction 4.13 and Theorem 4.15, the general relation over a finitely generated ring

  Verified-zkEVM/ArkLib#1331 · Filter by author aryaethn opened on Oct 23, 2026

• CodingTheory.rs_epsCa_large_below_johnson_radius is false at |F| = 8

  Verified-zkEVM/ArkLib#1315 · Filter by author BruceLoveLee000 opened on Oct 19, 2026

• Group models: ArkLib side of the VCVio GGM/AGM consolidation

  enhancement
  Verified-zkEVM/ArkLib#1310 · Filter by author quangvdao opened on Oct 12, 2026

• BitZ (ePrint 2026/2141): relax the overflow bound by a CRT argument (Remark A.1, Method 2)

  Verified-zkEVM/ArkLib#1307 · Filter by author aryaethn opened on Oct 11, 2026

• STIR: tie Lemma 5.4 and Theorem 5.1 to the protocol (Construction 5.2 or a verifier query bound)

  Verified-zkEVM/ArkLib#1292 · Filter by author aryaethn opened on Oct 7, 2026
  3

• Deliver reusable ring switching for Binius, Hachi and Flock

  Verified-zkEVM/ArkLib#1286 · Filter by author alexanderlhicks opened on Oct 6, 2026
  15

• feat(data): formalize multiset product injectivity and collision bounds

  Verified-zkEVM/ArkLib#901 · Filter by author eliasjudin opened on Sep 18, 2026
  2

• feat(data): formalize extension-ring block readout

  Verified-zkEVM/ArkLib#900 · Filter by author eliasjudin opened on Sep 18, 2026
  2

• roadmap: complete Binius interfaces, rejection semantics and proofs

  Verified-zkEVM/ArkLib#893 · Filter by author alexanderlhicks opened on Sep 8, 2026
  1

• BCIKS20 Claim 5.7 (exists_factors_with_large_common_root_set) is missing the eq. (5.3) largeness premise on #S

  Verified-zkEVM/ArkLib#799 · Filter by author dtumad opened on Aug 24, 2026
  1

• Design: the BCS transform as a change of oracle implementation (QueryImpl), with a staged opening plan

  Verified-zkEVM/ArkLib#627 · Filter by author Abraxas1010 opened on Jul 10, 2026
  5

• Development of Commitment Schemes

  Verified-zkEVM/ArkLib#2 · Filter by author quangvdao opened on Dec 18, 2024

• Interactive oracle reductions: framework and composition roadmap

  core
  Verified-zkEVM/ArkLib#1 · Filter by author quangvdao opened on Dec 18, 2024
  5