RT A₿del (fgu)🪽 (@AbdelStark)Major milestone on Ztarknet: we ran an experiment with @weikengchen (a.k.a the Bitcoin Script optimizooor, seriously this guy is such a chad) on STARK proof recursion and the results exceeded expectations.We took Stwo Cairo proofs from 1.3MB down to 77KB.The compression path: Cairo→Cairo recursion at 1.3MB baseline, then Cairo→Stwo-Plonk at 626KB, and finally chained Stwo-Plonk recursion bringing us to 77KB, roughly a 17x reduction from where we started. Further improvements are ...