Issues

Issues

• Prove the two-party algebraic construction obstruction

  trailofbits/constructive-cryptography#300 · opened on Nov 11, 2026

• Erase write-only records through a reusable systems contract

  trailofbits/constructive-cryptography#299 · opened on Nov 11, 2026

• Derive abstract distance bounds from distinction-game performance

  trailofbits/constructive-cryptography#298 · opened on Nov 11, 2026

• Transport conditional equivalence through the existing game action

  trailofbits/constructive-cryptography#297 · opened on Nov 11, 2026

• Derive finite-family distance bounds in the abstract layer

  trailofbits/constructive-cryptography#296 · opened on Nov 11, 2026

• Lift selected-component properties through abstract finite families

  trailofbits/constructive-cryptography#295 · opened on Nov 11, 2026

• Instantiate finite-family coherence on typed systems

  trailofbits/constructive-cryptography#294 · opened on Nov 11, 2026

• Expose finite-family coherence above the existing cryptographic algebra

  trailofbits/constructive-cryptography#293 · opened on Nov 11, 2026

• State DSL program bodies at an arbitrary budget

  trailofbits/constructive-cryptography#292 · opened on Nov 11, 2026 · 01 · Human authoring and validation

• Add CC composition sentences to the checked authoring frontend

  trailofbits/constructive-cryptography#290 · opened on Nov 11, 2026 · 11 · Diagnostics and mathematical-language tools

• Explain CC and random-systems declarations through domain adapters

  trailofbits/constructive-cryptography#289 · opened on Nov 11, 2026 · 11 · Diagnostics and mathematical-language tools

• Evaluate finite adaptive distinguishing examples for diagnostics

  trailofbits/constructive-cryptography#288 · opened on Nov 11, 2026 · 11 · Diagnostics and mathematical-language tools

• Extend generic-group bounds to natural-number register names

  trailofbits/constructive-cryptography#287 · opened on Nov 11, 2026 · 09 · Generic-group models and bounds

• Preserve register-game scores under finite register recoding

  trailofbits/constructive-cryptography#286 · opened on Nov 11, 2026 · 09 · Generic-group models and bounds

• Transfer dense generic-group hardness to equality games

  trailofbits/constructive-cryptography#285 · opened on Nov 11, 2026 · 09 · Generic-group models and bounds

• Implement equality observations as a certified generic-group converter

  trailofbits/constructive-cryptography#284 · opened on Nov 11, 2026 · 09 · Generic-group models and bounds

• Prove the generic-group extraction bound for adaptive solvers

  trailofbits/constructive-cryptography#283 · opened on Nov 11, 2026 · 09 · Generic-group models and bounds

• Relate dense generic-group transcripts to symbolic affine transcripts

  trailofbits/constructive-cryptography#282 · opened on Nov 11, 2026 · 09 · Generic-group models and bounds

• Express automaton-game scores as completed-transcript event masses

  trailofbits/constructive-cryptography#281 · opened on Nov 11, 2026 · 06 · Game contracts, monitors and reductions

• Transfer secret-guessing bounds from laws agreeing off affine collisions

  trailofbits/constructive-cryptography#280 · opened on Nov 11, 2026 · 09 · Generic-group models and bounds

• Define tweakable concealers with partial inverses

  trailofbits/constructive-cryptography#279 · opened on Nov 11, 2026 · 07 · Cryptographic primitives and scheme contracts

• Define AE5 correctness and accepted-output tidiness

  trailofbits/constructive-cryptography#278 · opened on Nov 11, 2026 · 07 · Cryptographic primitives and scheme contracts

• Express sampled submission-game scores as event masses

  trailofbits/constructive-cryptography#277 · opened on Nov 11, 2026 · 06 · Game contracts, monitors and reductions

• Transport submission bounds through converter reductions

  trailofbits/constructive-cryptography#276 · opened on Nov 11, 2026 · 06 · Game contracts, monitors and reductions

• Instantiate submission games on typed systems

  trailofbits/constructive-cryptography#275 · opened on Nov 11, 2026 · 06 · Game contracts, monitors and reductions