Francesco(@fradamt):I have been working on formally verifying a consensus protocol for Ethereum, with Fable orchestrating and Astra implementing. Works well, but Astra is running out of weekly usage in less than a day at this point (100 -> 34% in ~12hrs). Any tips? Pretty much blocked on this...

Francesco

@fradamt

@ethereum researcher @ethlabs_org, (still) dealing with wacky protocols with weird acronyms

Joined January 2021

1.2K Following 4.8K Followers

Francesco@fradamt

2026.09.10 11:47

I have been working on formally verifying a consensus protocol for Ethereum, with Fable orchestrating and Astra implementing. Works well, but Astra is running out of weekly usage in less than a day at this point (100 -> 34% in ~12hrs). Any tips? Pretty much blocked on this...