Issues

• Unified computational bridge: iterate to the right abstraction

  cslib-community/complexitylib#744 · Filter by author SamuelSchlesinger opened on Oct 24, 2026
  1

• Canonical encodings and encoding independence for the algorithmic framework

  cslib-community/complexitylib#740 · Filter by author SamuelSchlesinger opened on Oct 24, 2026

• Write algorithms once: correctness and efficiency certificates from one definition

  cslib-community/complexitylib#741 · Filter by author SamuelSchlesinger opened on Oct 24, 2026

• Link the RAM models and multi-tape Turing machines (model invariance)

  cslib-community/complexitylib#739 · Filter by author SamuelSchlesinger opened on Oct 24, 2026
  2

• refactor(probability): extract exact box rejection sampling from lattice protocols

  cslib-community/complexitylib#737 · Filter by author SamuelSchlesinger opened on Oct 24, 2026
  1

  

• feat(crypto): Carter–Wegman MACs from Δ-universal hashing (Boneh–Shoup Section 7.4)

  cslib-community/complexitylib#736 · Filter by author SamuelSchlesinger opened on Oct 24, 2026
  1

  

• feat(machines): total binary signed-integer decoding with a plain certificate

  cslib-community/complexitylib#735 · Filter by author SamuelSchlesinger opened on Oct 24, 2026
  1

  

• Crypto framework: friction log and standing practice

  cslib-community/complexitylib#733 · Filter by author SamuelSchlesinger opened on Oct 24, 2026
  7

• feat(crypto): certify the uniform serialized Lyubashevsky extractor

  cslib-community/complexitylib#729 · Filter by author SamuelSchlesinger opened on Oct 24, 2026
  2

  

• feat(complexity): #P and UP ∩ coUP oracle lowness, Low(#P) = UP ∩ coUP, Low(GapP) = SPP, and modular counting lowness

  cslib-community/complexitylib#727 · Filter by author SamuelSchlesinger opened on Oct 24, 2026
  2

  

• feat(mac): strong unforgeability with pair freshness

  cslib-community/complexitylib#720 · Filter by author SamuelSchlesinger opened on Oct 24, 2026
  3

  

• quality(probability): one query-budget notion and one Pr[…] notation for crypto

  cslib-community/complexitylib#718 · Filter by author SamuelSchlesinger opened on Oct 24, 2026
  5

  

• refactor(crypto): align MAC and hash reductions with shared game conventions

  cslib-community/complexitylib#710 · Filter by author SamuelSchlesinger opened on Oct 24, 2026
  2

  

• refactor(crypto): bridge typed ROM and word signature interfaces

  cslib-community/complexitylib#709 · Filter by author SamuelSchlesinger opened on Oct 24, 2026
  3

  

• Review findings: renderer truncation bug and five reuse refactors

  cslib-community/complexitylib#699 · Filter by author SamuelSchlesinger opened on Oct 24, 2026
  11

• Restricted versus general auxiliary-input zero knowledge (#680 item 1)

  cslib-community/complexitylib#698 · Filter by author SamuelSchlesinger opened on Oct 24, 2026
  4

  

• quality(crypto): distinguish restricted security interfaces and track their stronger guarantees

  cslib-community/complexitylib#680 · Filter by author SamuelSchlesinger opened on Oct 24, 2026
  6

• Serve the abstract PDFs from the docs site instead of a GitHub release

  cslib-community/complexitylib#673 · Filter by author SamuelSchlesinger opened on Oct 24, 2026
  4

  

• Track D: one universal-hashing abstraction, its instances and the leftover hash lemma

  cslib-community/complexitylib#663 · Filter by author SamuelSchlesinger opened on Oct 24, 2026
  5

  

• Render the formal abstracts with Verso?

  cslib-community/complexitylib#647 · Filter by author SamuelSchlesinger opened on Oct 24, 2026
  2

• Track B foundations: SIS, box rejection sampling and Lyubashevsky identification

  cslib-community/complexitylib#645 · Filter by author SamuelSchlesinger opened on Oct 23, 2026
  11

  

• Zero-knowledge architecture: one interactive-protocol core, then sumcheck, IOPs, Ligero, toward libzk

  cslib-community/complexitylib#643 · Filter by author SamuelSchlesinger opened on Oct 23, 2026
  22

• Boneh–Shoup roadmap: Fiat–Shamir, lattice signatures, public-key and symmetric tracks

  cslib-community/complexitylib#640 · Filter by author SamuelSchlesinger opened on Oct 23, 2026
  6

• feat(dev): prefetch remote cache for builds and agent workflows

  cslib-community/complexitylib#638 · Filter by author SamuelSchlesinger opened on Oct 23, 2026
  1

  

• refactor(encodings): computable FinEnum-based encoding for concrete finite types

  cslib-community/complexitylib#630 · Filter by author SamuelSchlesinger opened on Oct 23, 2026
  9