Join our Stark@Home about STWO & Circle STARK!

Register Now

How Sierra prevents DOS in Starknet

Share this post:

Sierra is an IR between Cairo 1.0 and Cairo assembly. In this talk, Ariel, AKA @FeedTheFed explains the completeness problem in the context of Starknet and how an IR between user code and proven code can solve it. We’ll also discuss other benefits of such an IR, such as gas metering and separation between execution and proving environments.