Issues

• test: full extractor rewinding on transcripts

  bench/test
  LFDT-Nightstream/Nightstream#18 · Filter by author nicarq opened on Aug 17, 2025

• test: reject bad sum-check messages

  bench/test
  LFDT-Nightstream/Nightstream#17 · Filter by author nicarq opened on Aug 17, 2025

• test: verifier rejects bad proofs

  bench/test
  LFDT-Nightstream/Nightstream#16 · Filter by author nicarq opened on Aug 17, 2025

• Quickcheck: folding properties

  bench/test
  LFDT-Nightstream/Nightstream#15 · Filter by author nicarq opened on Aug 17, 2025

• Bench: graph performance based on number of CCS folds

  bench/test
  LFDT-Nightstream/Nightstream#14 · Filter by author nicarq opened on Aug 17, 2025

• Add Toom-3 to speedup mulitplication

  perf
  LFDT-Nightstream/Nightstream#13 · Filter by author nicarq opened on Aug 17, 2025

• Finish connecting combination step in IVC

  soundness/threat-model
  LFDT-Nightstream/Nightstream#11 · Filter by author nicarq opened on Aug 17, 2025

• Tune parameters for security

  soundness/threat-model
  LFDT-Nightstream/Nightstream#10 · Filter by author nicarq opened on Aug 17, 2025

• Ensure constant-time operations to avoid side-channel attacks

  soundness/threat-model
  LFDT-Nightstream/Nightstream#9 · Filter by author nicarq opened on Aug 17, 2025

• Implement knowledge soundness extractors via rewinding

  soundness/threat-model
  LFDT-Nightstream/Nightstream#8 · Filter by author nicarq opened on Aug 17, 2025

• Linear homomorphism for folding multilinear evaluation claims

  soundness/threat-model
  LFDT-Nightstream/Nightstream#7 · Filter by author nicarq opened on Aug 17, 2025

• Setup lookup-centric API

  enhancement
  LFDT-Nightstream/Nightstream#6 · Filter by author nicarq opened on Aug 17, 2025

• Implement Twist & Shout

  perf
  LFDT-Nightstream/Nightstream#5 · Filter by author nicarq opened on Aug 17, 2025

• Support multi-folding

  enhancement
  LFDT-Nightstream/Nightstream#4 · Filter by author nicarq opened on Aug 17, 2025

• Hardware acceleration plan

  perf
  LFDT-Nightstream/Nightstream#3 · Filter by author nicarq opened on Aug 17, 2025

• Look into using WHIR over FRI

  perf
  LFDT-Nightstream/Nightstream#1 · Filter by author nicarq opened on Aug 17, 2025