Skip to content

Commit

Permalink
fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
benesjan committed Nov 27, 2023
1 parent 0fb2c49 commit db3ca4e
Show file tree
Hide file tree
Showing 3 changed files with 7 additions and 2 deletions.
2 changes: 1 addition & 1 deletion yarn-project/aztec-nr/aztec/src/oracle/get_sibling_path.nr
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
use crate::constants_gen::NOTE_HASH_TREE_HEIGHT;
use crate::utils::arr_copy_slice;

#[oracle(geSiblingPath)]
#[oracle(getSiblingPath)]
fn get_sibling_path_oracle<N>(_block_number: Field, _tree_id: Field, _index: Field) -> [Field; N] {}

unconstrained pub fn get_sibling_path<N>(block_number: Field, tree_id: Field, index: Field) -> [Field; N] {
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -58,4 +58,9 @@ describe('e2e_inclusion_proofs_contract', () => {
await contract.methods.proveNullifierNonInclusion(accounts[0].address, blockNumber).send().wait();
}
});

it('proves an existence of a public value in private context', async () => {
const blockNumber = await pxe.getBlockNumber();
await contract.methods.provePublicValueInclusion(accounts[0].address, blockNumber).send().wait();
});
});
Original file line number Diff line number Diff line change
Expand Up @@ -74,7 +74,7 @@ contract InclusionProofs {

#[aztec(private)]
fn constructor(public_value: Field) {
let selector = compute_selector("_initialize((Field))");
let selector = compute_selector("_initialize(Field)");
context.call_public_function(context.this_address(), selector, [public_value]);
}

Expand Down

0 comments on commit db3ca4e

Please sign in to comment.