Nethermind의 혁신: 안전한 zk 증명을 위한 computable multivariate polynomials in Lean의 정형화

Nethermind의 최신 형식 검증 성과 — computable multivariate polynomials in Lean을 살펴보세요. 이 혁신은 zk 증명과 블록체인 프로토콜 설계를 강화해 더 안전한 탈중앙화 앱을 만듭니다.

2025년 9월 18일