正式な検証におけるもう一つのマイルストーン。 リーンで計算可能な多項式を形式化することは、再利用可能で信頼性の高いzk検証に向けた重要な一歩です。 これを前進させてくれた Nethermind Formal Verification チームに大きな功績を残します。