Vårt formella verifieringsteam har formaliserat beräkningsbara multivariata polynom i Lean. CC-@leanprover Detta är en grund för starkare, maskinkontrollerade resonemang i zk-bevis och protokolldesign. 🔗 1/

Nollkunskapsbevis kommer till validatorredovisning. @LidoFinance:s nya zk-Oracle verifierar ändringar i valideringssaldot på Ethereum med hjälp av SP1, vilket ger användarna starkare garantier för att belöningar och saldon är korrekta.