Skip to content

Commit

Permalink
fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
benesjan committed Jul 8, 2024
1 parent ddfb6a7 commit 5b0cc5f
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -291,7 +291,7 @@ mod tests {
let remaining_nullifier_rr_index = builder.previous_kernel.add_read_request_for_pending_nullifier(1);
let nullifier_rr = builder.previous_kernel.nullifier_read_requests.storage[remaining_nullifier_rr_index];

let key_validation_index = builder.previous_kernel.add_request_for_key_validation(EmbeddedCurvePoint::new(1, 2), 27, GENERATOR_INDEX__OVSK_M);
let key_validation_index = builder.previous_kernel.add_request_for_key_validation(EmbeddedCurvePoint::new(1, 2, false), 27, GENERATOR_INDEX__OVSK_M);
let key_validation = builder.previous_kernel.scoped_key_validation_requests_and_generators.storage[key_validation_index];

// Check that they have been propagated to the next kernel
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -316,7 +316,7 @@ mod tests {
#[test(should_fail_with="Non empty key validation requests")]
fn non_empty_key_validations() {
let mut builder = PrivateKernelTailToPublicInputsBuilder::new();
let _void = builder.previous_kernel.add_request_for_key_validation(EmbeddedCurvePoint::new(1, 2), 27, GENERATOR_INDEX__TSK_M);
let _void = builder.previous_kernel.add_request_for_key_validation(EmbeddedCurvePoint::new(1, 2, false), 27, GENERATOR_INDEX__TSK_M);
builder.failed();
}

Expand Down

0 comments on commit 5b0cc5f

Please sign in to comment.