You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The BLS12-381 precompile is being added in L1's pectra hardfork, and inherited by isthmus. It's an expensive cryptographic precompile, which means we'll want to accelerate it within the fault prover.
These are registered in the client program here, and the BLS precompile will also need to be added into the host here.
Overview
The BLS12-381 precompile is being added in L1's pectra hardfork, and inherited by isthmus. It's an expensive cryptographic precompile, which means we'll want to accelerate it within the fault prover.
These are registered in the client program here, and the BLS precompile will also need to be added into the host here.
We'll also need to be cognizant of the ability to reproduce the precompile call on L1 via the
PreimageOracle
contract'sloadPrecompilePreimagePart
function. The BLS12-381 precompile accepts variable-length inputs, so it'll have variable gas, and we'll need to cap this within both the client software and the proof. We did the same thing for theecPairing
precompile in the Granite hardfork, since it's also accelerated in the proof + has dynamic gas consumption based on the input.The text was updated successfully, but these errors were encountered: