Skip to content

Commit

Permalink
fix: removal of setting private data root in kernel prover (#2671)
Browse files Browse the repository at this point in the history
Resolves #778
  • Loading branch information
jeanmon authored and Maddiaa0 committed Oct 5, 2023
1 parent 3feac8e commit 8f792e3
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 9 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -27,10 +27,6 @@ void initialise_end_values(PrivateKernelInputsInit<NT> const& private_inputs,
auto const& private_call_public_inputs = private_inputs.private_call.call_stack_item.public_inputs;
auto const constants = CombinedConstantData<NT>{
.block_data = private_call_public_inputs.historic_block_data,
// TODO(dbanks12): remove historic root from app circuit public inputs and
// add it to PrivateCallData: https://github.com/AztecProtocol/aztec-packages/issues/778
// Then use this:
// .private_data_tree_root = private_inputs.private_call.historic_private_data_tree_root,
.tx_context = private_inputs.tx_request.tx_context,
};

Expand Down
5 changes: 0 additions & 5 deletions yarn-project/pxe/src/kernel_prover/kernel_prover.ts
Original file line number Diff line number Diff line change
Expand Up @@ -138,11 +138,6 @@ export class KernelProver {
);

if (firstIteration) {
// TODO(https://github.com/AztecProtocol/aztec-packages/issues/778): remove historic root
// from app circuit public inputs and add it to PrivateCallData
privateCallData.callStackItem.publicInputs.historicBlockData.privateDataTreeRoot =
await this.oracle.getPrivateDataRoot();

output = await this.proofCreator.createProofInit(new PrivateKernelInputsInit(txRequest, privateCallData));
} else {
const previousVkMembershipWitness = await this.oracle.getVkMembershipWitness(previousVerificationKey);
Expand Down

0 comments on commit 8f792e3

Please sign in to comment.