
Cairo에서는 “제약식을 직접 설계”하지 않는다. VM(Cairo CPU)의 AIR(=고정된 제약)가 이미 있고, 일반 함수를 작성한 뒤 그 안에서 assert(...) 등으로 “원하는 명제가 참이어야만 실행이 성공”하도록 만든다. 그 실행 트레이스가 STARK로
ZKP 관련 내용들을 모두 정리해서 ZKP Docs를 제작했습니다. 관심있으신 분들 읽어보세요.https://upsidezkp.gitbook.io/upside-zkp-docs