Lin Oshitani
Lin Oshitani
Would be cool if we can benchmark the performance of jsoo/rescript/melange. https://github.com/melange-re/melange
Some preliminary work has done in this commit: https://github.com/linoscope/CAMLBOY/commit/5adaa2b8a3c5109ee844b19a7ca886fe7346e022 But if I remember correctly, I was blocked by Bigstringaf not supporting rescript, which is because rescript doesn't support bigarray. Refs:...
## Problem Right now, when we slash an invlaid lookahead we keep the invalid lookahead instead of replacing it. This can lead to an malicious actor posting invalid lookahead for...
Suppose you have a lookahead like below: ``` ... [ ]-[ ]-[P3]-[ ]-[ ]-[P6]-[P7]-... [ ]: Non-preconfer L1 slot [PN]: Preconfer L1 slot ``` Notice that `P7` only have 1...
In our current implementation, when an invalid lookahead is slashed, the invalid lookahead is kept as is. This is fine as long as the slashed amount (which can be full...
## Problem Prover-killer blocks consume disproportionate proving resources, creating a DoS risk for provers that need to prove that block. In the non-forced inclusion context, mitigations considered are: - **Proposer...
## **Problem** Currently, for lookahead submissions, we require that the `commitment.slasher` is the `guardian` where `guardian` is a multisig or DAO: https://github.com/taikoxyz/taiko-mono/blob/3692890bebbe38fc9700a5a744cef2a51739c370/packages/protocol/contracts/layer1/preconf/impl/LookaheadStore.sol#L191 This has several issues: - The guardian contract...
Right now, when we get `Failed to call driver RPC for API 'preconfBlocks' within the duration (1000ms)`, we remove the block that failed to `preconfBlock` like this: ``` match self...
We make profit in L2 fees (added to our L2 account) while paying cost (paid from our L1 account). We would need to rebalance, namely withdraw L2 ETH to L1...
Right now, when you try to submit a lot of txs with high `--batch-size` value, we get: ``` Failed to establish a new connection: [Errno 24] Too many open files'))...