Leila Wang
Leila Wang
Allow to pad note hashes, nullifiers and private logs to the output in reset circuits. The padded side effects will be siloed with `SIDE_EFFECT_MASKING_ADDRESS` (currently 7), and their counter is...
Remove: - `previous_archive.next_available_leaf_index` - `end_archive.next_available_leaf_index` - `end_timestamp` - `end_block_number` - `out_hash` The first 4 are committed to by start and end block number, which are constrained by `proposed_block_header_hashes`. `out_hash` is...
Please read [contributing guidelines](CONTRIBUTING.md) and remove this line.
Move `VerificationKey.check_hash()` to right before we call `std::verify_proof_with_type()`, where we pass the vk and vk hash. Eventually the hash will be checked in `std::verify_proof_with_type()` and `check_hash` can be removed. Clean...
We don't need to silo contract class logs in the base rollups. The contract address is included and enforced by the kernel circuit, it's enough to check the contract address...
### Aim If there's a struct `Struct` and generic T can be more than one type, codegen doesn't generate all the types that are not primitive. ### Expected Behavior It...
Please read [contributing guidelines](CONTRIBUTING.md) and remove this line. For audit-related pull requests, please use the [audit PR template](?expand=1&template=audit.md).
Please read [contributing guidelines](CONTRIBUTING.md) and remove this line. For audit-related pull requests, please use the [audit PR template](?expand=1&template=audit.md).
Please read [contributing guidelines](CONTRIBUTING.md) and remove this line. For audit-related pull requests, please use the [audit PR template](?expand=1&template=audit.md).