RT ulrich.haboeck (@UHaboeck)Quick announcement: After long and heavy suffering :) the S-two white paper is finally out:https://t.co/8WyVwoPE6hAlthough nothing new in regard to the basic principles (a circle STARK, etc.) the white paper yet contains several details of broader interest:- A formal description of the flat AIR circuit model (used by several contemporary zkVMs)- A thorough soundness analysis of multi-table proofs: If one does not use "lifted" FRI, taming the soundness error turns out to be more ...