aztec-packages
aztec-packages copied to clipboard
AztecProtocol
https://github.com/AztecProtocol/aztec-packages/pull/7839 introduced the `skipTxValidation` option, but left it set to `true` by default, preserving the current behavior. We should change this to `false` and adjust any callsites, e2e test etc...
Create graph description for Ultra Circuit Builder. The original idea was to create to directed graph for arithmetic circuit, that bases on Ultra Arithmetization. The constructor creates graph based on...
The fee payout should happen when proven and not when proposed as it is currently done. The reason we are currently "allowing" this is because the system does not handle...
We want to split up sequencers and provers, as they are two different entities in the system. With the changes to block building, sequencers no longer need to upload a...
In https://github.com/AztecProtocol/aztec-packages/pull/7844 we added an epochNumber for sorting jobs. However, this makes it difficult to implement with a fifo queue with no support for priorities. Instead, we could use a...
So far: - Found a bug in array filtering, so increased the constraints to fix it (doh!) - Shifted the key validation requests array, instead of filter it, to save...
``` struct SecretAndHash { secret: Field, hash: Field, } impl SecretAndHash { fn random() -> Self { let secret = unsafe_rand(); let hash = compute_secret_hash(secret); SecretAndHash { secret, hash }...
Consider methods like: ``` pub fn check_public_balance(token_contract_address: AztecAddress, user: AztecAddress, expected_amount: Field) { let current_contract_address = get_contract_address(); cheatcodes::set_contract_address(token_contract_address); let block_number = get_block_number(); let slot = Token::storage().bets.slot; let address_slot = derive_storage_slot_in_map(slot,...