L'équipe de vérification formelle de Nethermind présente CertiPlonk, un cadre pour extraire les contraintes Plonky3 et vérifier leur exactitude dans @leanprover. CertiPlonk vérifie l'exactitude des circuits sans modifications de code. Soutenu par une subvention de @ethereumfndn. Plus d'infos ⬇️