Ще одна віха в офіційній верифікації. Формалізація обчислюваних поліномів в Lean є значним кроком на шляху до багаторазової та надійної перевірки zk. Величезна заслуга команди Nethermind Formal Verification за те, що вона просунула цей крок вперед.