SuperNova는 특정 명령어 세트를 사용하여 상태 저장 머신에서 프로그램이 올바르게 실행된다는 간결한 증명을 점진적으로 생성하기 위한 새로운 재귀 증명 시스템입니다.
정말 환상적인 기능인 것 같습니다. 이 문서에서는 주로 이러한 기능이 구현되는 방법을 설명합니다.
콘텐츠
- 접는다는 것이 무엇인가요?
- R1CS로 계산 표현
- Nova: 단일 명령어용 NIVC
- SuperNova: 다중 명령어용 NIVC(ZKVM)
- 다른 재귀와는 다르다
이 기사에 대한 자세한 내용 은 Sin7y Tech Review(34): SuperNova의 접는 방식이 ZK의 최종 게임인가요?를 확인하세요.
SuperNova의 Folding Scheme에 대해 궁금한 점이 있으시면 언제든지 < contact@sin7y.org >로 문의해 주세요. Ola의 공식 Twitter를 팔로우하고 Discord 서버에 가입하여 Ola의 최신 업데이트를 받아보세요!
에 대한
이 주간 보고서는 디지털 시대의 개인 정보 보호 및 보안에 접근하는 방식에 혁명을 일으킬 수 있는 Sin7y — Ola 및 영지식 암호화 와 관련된 최신 개발 및 뉴스에 대한 업데이트를 제공하는 것을 목표로 합니다. 우리는 이 분야의 최신 개발 상황을 계속 모니터링하고 보고할 것입니다. 우리와 함께하거나 파트너 관계를 맺고 싶다면 < contact@sin7y.org >로 편지를 보내주세요.
계속 지켜봐 주시기 바랍니다
웹사이트 | 백서 | GitHub 1 | 트위터 | 불화 | 링크드인 | 유튜브 | HackMD | 중간 | 해커눈
