fix(prove_finality): Missing inputs

metacraft-labs · Jan 15, 2024 · 19baca4 · 19baca4
1 parent a5a8329
commit 19baca4
Showing 1 changed file with 14 additions and 1 deletion.
diff --git a/casper-finality-proofs/bin/prove_finality.rs b/casper-finality-proofs/bin/prove_finality.rs
@@ -31,14 +31,25 @@ fn main() {
 
     let source = CheckpointValue::<<L as PlonkParameters<D>>::Field> {
         epoch: 123456788,
-        root: bytes32!("0x0000000000000000000000000000000000000000000000000000000000000000"),
+        root: bytes32!("0x0000000000000000000000000000000000000000000000000000000000000002"),
     };
 
     let target = CheckpointValue::<<L as PlonkParameters<D>>::Field> {
         epoch: 123456790,
         root: bytes32!("0x0000000000000000000000000000000000000000000000000000000000000000"),
     };
 
+
+    let current_justified_checkpoint = CheckpointValue::<<L as PlonkParameters<D>>::Field> {
+        epoch: 123456788,
+        root: bytes32!("0x0000000000000000000000000000000000000000000000000000000000000002"),
+    };
+
+    let previous_justified_checkpoint = CheckpointValue::<<L as PlonkParameters<D>>::Field> {
+        epoch: 123456787,
+        root: bytes32!("0x0000000000000000000000000000000000000000000000000000000000000001"),
+    };
+
     let slot = 3950617280;
 
     input.write::<CheckpointVariable>(source);
@@ -48,6 +59,8 @@ fn main() {
     input.write::<JustificationBitsVariable>(justification_bits);
     input.write::<U64Variable>(previous_epoch_attested_validators);
     input.write::<U64Variable>(current_epoch_attested_validators);
+    input.write::<CheckpointVariable>(previous_justified_checkpoint);
+    input.write::<CheckpointVariable>(current_justified_checkpoint);
 
     let (_witness, mut _output) = circuit.prove(&input);
     println!("Successfully passed!");