RT @brandonhgomes: @weikengchen gives a great overview of application-specific proof systems, extremely bullish on this.
02 Mar 2023, 04:39
RT @brandonhgomes: @weikengchen gives a great overview of application-specific proof systems, extremely bullish on this. TLDR: app-specific…