fix(prove_finality): Missing inputs

metacraft-labs · Jan 15, 2024 · 02f51be · 02f51be
1 parent 63eee99
commit 02f51be
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/casper-finality-proofs/src/prove_finality/circuit.rs b/casper-finality-proofs/src/prove_finality/circuit.rs
@@ -151,6 +151,7 @@ pub fn validate_source<L: PlonkParameters<D>, const D: usize>(
     assert_is_true(builder, is_valid_pair_pred);
 }
 
+// Is this consistent with the consensus spec equivalent - # Process finalizations ?
 pub fn validate_justification_bits<L: PlonkParameters<D>, const D: usize>(
     builder: &mut CircuitBuilder<L, D>,
     source_index_epoch: U64Variable,