Leo Alt (@leonardoalt) 's Twitter Profile
Leo Alt

@leonardoalt

@powdr_labs @ethereum @SpearbitDAO

ID: 1012258586406375424

calendar_today28-06-2018 08:57:08

2,2K Tweet

4,4K Followers

501 Following

Leo Alt (@leonardoalt) 's Twitter Profile Photo
Leo Alt
@leonardoalt

5 months ago

Great article, very nice to read! Completely agree that precompiles (or custom guest program ISAs) need to be automatically synthesized and formally verified. We already got started on this with powdr autoprecompiles: powdr.org/blog/auto-acc-…

Great article, very nice to read! Completely agree that precompiles (or custom guest program ISAs) need to be automatically synthesized and formally verified. We already got started on this with powdr autoprecompiles: powdr.org/blog/auto-acc-…