From 51441815eb1182682304ca3c3fcf45422dbdc8b2 Mon Sep 17 00:00:00 2001 From: Dimo99 Date: Thu, 7 Dec 2023 16:57:43 +0200 Subject: [PATCH] fix(prove_finality): Missing inputs --- casper-finality-proofs/src/prove_finality/circuit.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/casper-finality-proofs/src/prove_finality/circuit.rs b/casper-finality-proofs/src/prove_finality/circuit.rs index 86014d2ba..06fbcb634 100644 --- 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, 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, const D: usize>( builder: &mut CircuitBuilder, source_index_epoch: U64Variable,