Пост📐 Aligned, LambdaVM 설계 원칙: 왜 또 하나의 zkVM인가

📐 Aligned, LambdaVM 설계 원칙: 왜 또 하나의 zkVM인가 Aligned가 Lambda Class, 3MI Labs와 함께 만드는 오픈소스 zkVM, LambdaVM의 설계 원칙을 공개했습니다. 핵심은 하나, 처음부터 끝까지 읽을 수 있도록 단순하게. 🤔 왜 또 하나의 zkVM인가 🟢zkVM의 규칙 하나가 틀리면, 일어나지 않은 실행의 증명도 통과됩니다. 🟢여러 zkVM이 같은 라이브러리를 쓰면 버그 하나가 모두에게 퍼지기에, LambdaVM은 독립적인 스택으로 진짜 다양성을 더합니다. 🔐 보수적인 설계 🟢표준 RV64IM만 사용, 이더리움 재단(EF) 호환성 테스트 72/72 통과 🟢해시 기반 STARK: 신뢰 설정 없이 양자 내성 🟢 암호 라이브러리까지 직접 구축, 전체 약 5만 줄 📖 스펙과 코드가 같은 구조 칩마다 스펙과 코드가 1:1로 대응해, 감사가 쉬워지고 형식 검증도 칩 단위로 바로 시작할 수 있습니다. 🚀 큰 작업도 처리 이더리움 블록처럼 큰 프로그램은 구간별로 나눠 증명하고, 재귀로 하나의 증명으로 묶습니다. 👉 감사하기 쉬운 것이 핵심인 VM에서는, 불명확한 스펙도 버그입니다. 💻 스펙 + 코드 보기 (GitHub) 🔗 공지 원문 보기