Aligned, 증명은 프로그램을 실행하지 않습니다zkVM은 실행 기록이 정해진 규칙 목록을 따랐다는 것을 증명합니다.
이 규칙이 바로 제약 조건(Constraints)이고, Aligned의 스펙은 이를 칩별로 정리한 목록입니다.
이번 스레드에서 다루는 내용
제약 조건이란 무엇인지
제약 조건을 어떻게 만드는지
class_lambda, 3miLabs와 함께 만든 Lambda VM의 스펙과 코드에서 어떻게 나타나는지
🧾 실행은 표로 기록됩니다
프로그램 실행은 표 형태로 기록됩니다.
연산마다 행이 하나씩 생기고, 연산에 사용된 값마다 열이 하나씩 생깁니다.
🔍 증명이 확인하는 두 가지
방정식: 모든 행에서 성립해야 합니다.
룩업(Lookup): 칩이 주장한 값이 특정 표에 실제로 있는지 확인합니다.
🔗 공지 원문 보기
