Repository navigation

Prove extension calibration nodes' measurement producers in compose - #1488

Merged

MaxGhenis merged 6 commits into

mainfrom

be/a-composed-proofs

Nov 4, 2026

Merged

Prove extension calibration nodes' measurement producers in compose#1488
MaxGhenis merged 6 commits into
mainfrom
be/a-composed-proofs

Commits on Nov 3, 2026
- Prove extension calibration nodes' measurement producers in compose
  
  MaxGhenis
  and
  claude
  committed
  bdc75bd
- Move the NZ-toy measurement-proof tests into NZ's toy-graph file
  
  MaxGhenis
  and
  claude
  committed
  3196273
- Refuse a malformed measurement_id in the compiled proof check
  
  MaxGhenis
  and
  claude
  committed
  b64eb6c
Commits on Nov 4, 2026
- Merge main (f8f543a4, G #1478) into be/a-composed-proofs
  
  MaxGhenis
  and
  claude
  committed
  d66cf70
- Say the compiled proof check scans malformed ids only under a proof
  
  MaxGhenis
  and
  claude
  committed
  325ee9a
- Merge main (e2918f4f, H2 #1485 and #1501) into be/a-composed-proofs
  
  MaxGhenis
  and
  claude
  committed
  b536dd2