In v0.12.1, we are happy to announce that the Keccak builtin will be enabled on Starknet.

The Cairo stack and Starknet protocol employ builtins. These builtins streamline the computation process by reducing the number of trace cells required, resulting in more efficient proofs. However, the current approach of using a static list of layouts for different builtins has limitations.

To address this, the development team plans to implement Dynamic Layouts using Keccak, which tailor the layout to each proving job, optimizing trace cell allocation. This dynamic approach will enhance efficiency, simplify the integration of new builtins, and reduce unnecessary costs for users, making the proving process more streamlined and effective.

You can learn more about Builtins and Dynamic Layouts here.