Brecht Devos
Brecht Devos
I changed submitRing to take a single bytes array in PR #350 which makes it pretty easy to send data for multiple rings to submitRing. I was planning to test...
These cells cannot be assigned to, and because they are marked as poisoned it also seems like there is no need to try and check that on a just per...
Using the ERC20 interface directly in solidity will give issues with some ERC20 token contracts because they were not correctly implemented. The list of badly implemented tokens is quite big...
Can't hurt to add some extra safety check in the Merkle tree implementation, even if they are very unlikely: - `insert` doesn't seem to check if the tree is already...
Will be done by @xiaodino and @smtmfft
Depends on https://github.com/appliedzkp/pairing/pull/7, which should be merged first so this doesn't need to depend on any external repo's. Credit for the core ideas behind these optimizations to Zac Williamson/Barretenberg. The...
Some refactoring which I believe decreases code duplication and increases code readability: - Start using the constraint builder - Start using helper utilities to better understand the intentions of the...
Adds a sha256 circuit with the same lookup interface as the keccak circuit. - Requires 72 rows/sha256 permutation (64 bytes absorbed per permutation) - Uses ~130 columns - Would be...
### Describe the feature request Because Taiko is a based rollup, all Taiko L2s blocks are already proposed by the currently selected Ethereum validator, so Taiko chains always form a...
> This is a way to implement the rough idea Karl Floersch had when I talked with him at devcon where he was thinking of way to speed up withdrawals...