diff --git a/artifacts/lee/privacy_preserving_circuit/privacy_preserving_circuit.bin b/artifacts/lee/privacy_preserving_circuit/privacy_preserving_circuit.bin index f89524c7..639da90a 100644 Binary files a/artifacts/lee/privacy_preserving_circuit/privacy_preserving_circuit.bin and b/artifacts/lee/privacy_preserving_circuit/privacy_preserving_circuit.bin differ diff --git a/lee/privacy_preserving_circuit/src/output.rs b/lee/privacy_preserving_circuit/src/output.rs index fb9f8662..3ff6d9cb 100644 --- a/lee/privacy_preserving_circuit/src/output.rs +++ b/lee/privacy_preserving_circuit/src/output.rs @@ -67,7 +67,10 @@ pub fn compute_circuit_output( }; match (kind, nullifier) { - (WitnessKind::Regular, _) => assert!( + ( + WitnessKind::Regular, + NullifierWitness::Init { .. } | NullifierWitness::Update { .. }, + ) => assert!( pre_state.is_authorized, "Regular private account pre-state must be authorized" ), diff --git a/test_fixtures/fixtures/prebuilt_sequencer_db.dump b/test_fixtures/fixtures/prebuilt_sequencer_db.dump index 21d07e78..ec2cac38 100644 Binary files a/test_fixtures/fixtures/prebuilt_sequencer_db.dump and b/test_fixtures/fixtures/prebuilt_sequencer_db.dump differ