Zespół Formal Verification Nethermind wprowadza CertiPlonk, framework do wydobywania ograniczeń Plonky3 i weryfikacji ich poprawności w @leanprover. CertiPlonk weryfikuje poprawność obwodów bez zmian w kodzie. Wsparte przez grant od @ethereumfndn. Więcej informacji ⬇️