🕐 라그랑주 연구 발표, 어려운 수학을 증명가능하게: 비다항 함수에 대한 효율적인 증명 기법 소개

대부분의 zk 시스템은 계산이 다항식적이지 않게 되면 비효율적이 됩니다.

실제 시스템은 순수한 다항식 시스템이 아닙니다. 다음과 같은 요소에 의존합니다.
(사인 함수, 익스프 함수, 시그모이드 함수 또는 erf 함수)

오늘은 zk-SNARK에서 비다항식 함수의 증명을 효율적으로 만드는 연구 결과를 소개합니다.

결과:
• 최대 256배 낮은 오차
• 최대 20배 향상된 검증 성능

실세계에서 검증 가능한 인공지능을 원한다면, 실제 시스템이 사용하는 수학적 원리를 증명할 수 있어야 합니다.

어려운 수학 문제가 이제 증명 가능해졌습니다.

블로그를 통해 번역된 연구 내용과 Full report를 읽어보세요

📚 블로그 바로가기 | 📱 원문 보기