Brecht Devos
Brecht Devos
Simplify oracle/system prover system, in a way that will be compatible with https://github.com/taikoxyz/taiko-mono/issues/13693: - Blocks need a zk proof + a signature (currently just one we generate and share somehow)...
## Problem Good description of the problem and possible solutions: https://community.scroll.io/t/the-proof-overflow-problem/841/1 If we want to be able to prove any block up till some amount of gas, then we have...
https://ethresear.ch/t/2fa-zk-rollups-using-sgx/14462 While nobody is a fan of SGX, it only really adds to the security of the rollup without any real downside, while being very simple (compared to a whole...
### Describe the feature request When a proposer submits transactions it cannot always know for sure how, or even if, that transaction is executed. In most cases that's fine, the...
### Describe the feature request - A bridge Merkle proof consists of two smaller proofs: the account proof and the storage proof. The account proof proves that a contract has...
### Describe the feature request Good thread: https://x.com/sreeramkannan/status/1730310412904599714 Just marking this for discussion because similar to SGX, this can achieve fast (economic!) finality which will be very important, but unlike...
### Describe the feature request Currently zk proofs are verified using a smart contract. If there is a bug in the verifier smart contact, the zk proof is also broken...
### Describe the feature request We can allow private ETH/token transfers using the mechanism described here: https://eips.ethereum.org/EIPS/eip-7503 Unlike on L1, we don't need any changes to the protocol/EVM itself, because...
### Describe the feature request More concrete design for the implementation of the setup explained in my Taiko study club presentation: - Presentation: https://t.co/5YywvBqrmY - Slides: https://docs.google.com/presentation/d/1IcERklQq_w_jycIdPZVosLxrN80R04NEzlew1guC9eY/edit#slide=id.p Succeeds https://github.com/taikoxyz/taiko-mono/issues/14044. In...
### Describe the feature request Currently the window a proposer knows how a block will execute is limited to 12 seconds, because the L2 block directly depends on some L1...