Пост🧩 Aligned, LambdaVM 공개: 한 사람이 처음부터 끝까지 감사할 수 있는 zkVM

🧩 Aligned, LambdaVM 공개: 한 사람이 처음부터 끝까지 감사할 수 있는 zkVM Aligned가 RISC-V zkVM인 LambdaVM을 공개했습니다. 프로그램을 넣으면, 그 프로그램이 올바르게 실행됐다는 STARK 증명이 나옵니다. 📖 출발점은 '읽을 수 있는 규칙' zkVM은 무엇이 유효한 실행인지 정하는 규칙의 집합입니다. 규칙을 읽을 수 없다면 믿는 수밖에 없기에, 규칙을 작고 단순하게 유지했습니다. ⚙️ 작동 방식 실행기가 프로그램을 돌리며 모든 단계를 기록하고, 이 기록이 테이블이 됩니다. 프로버는 모든 행이 제약 조건을 만족한다는 것만 증명합니다. 🔍 설계 핵심 🟢 표준 RV64IM 그대로 사용, 커스텀 명령어 없음 🟢이더리움 재단(EF) RISC-V 호환성 테스트 72/72 통과 🟢 해시 기반 STARK: 신뢰 설정 없이 양자 내성 확보 🟢 필드 연산부터 프로버까지 전체 스택 자체 구축 (Rust 약 5만 줄) 🚀 앞으로의 활용 🟢LambdaVM은 Aligned의 증명 집계(Proof Aggregation) 서비스와 Rollup-as-a-Service 체인의 증명을 담당합니다. 🟢이더리움 블록처럼 큰 프로그램 처리와 GPU 작업은 별도로 소개할 예정입니다. 👉 코드보다 스펙부터 읽어보세요. 📄 설계 원칙 전문 보기 🔗 공지 원문 보기