🟢지갑
🟢 체인

🟢모든 체인은 이더리움에서 정산됩니다.
🟢송금, 네오뱅크, 결제, 아이덴티티 체인이 공유 브리지(Shared Bridge)로 연결됩니다.
🟢 체인에서 체인으로 자금을 옮길 수 있도록 설계되었으며, 정산은 이더리움에서 이루어집니다.

🟢Aligned가 Sovra, Lambda와 함께 만든 Propia는 이 반복을 없애기 위한 프로토콜로, 이더리움에서 정산됩니다.

✅대학, 은행, 고용주, 공공기관마다 같은 서류를 다시 제출해야 합니다.
✅기관마다 개인정보를 따로 저장하므로 비용과 유출 위험이 커집니다.
✅생성형 AI 때문에 신분증, 서명, 음성 위조가 쉬워졌습니다.

🟢발급자 레지스트리: 어떤 기관이 어떤 자격증명을 발급할 수 있는지
🟢식별자 레지스트리: 키 관리, 교체, 복구 규칙
🟢상태 레지스트리: 정지 및 폐기 여부

📌이름, 생년월일, 사진, 생체정보 등 개인정보는 저장하지 않습니다. 발급 기관에 따로 확인하지 않아도 공개 레지스트리만으로 검증할 수 있습니다

RaaS: SovraChain 배포·운영
WaaS: 시드 문구 없는 지갑, 토큰 불필요
증명 통합: 이더리움 검증 비용 절감
다음 단계: 베이스드 시퀀싱

🇨🇴 보고타
:시민 800만 명이 쓰는 SuperApp Bogotá
🇲🇽 누에보레온
: 주 디지털 지갑 NLínea, 정부 서비스

한 번 받은 신원 증명을 개인정보 노출 없이 여러 곳에서 다시 쓸 수 있게 되고, 그 기반에서 이더리움과 Aligned가 실제 정부 인프라로 쓰이기 시작했다는 점이 핵심입니다.

zkVM은 무엇이 유효한 실행인지 정하는 규칙의 집합입니다.
규칙을 읽을 수 없다면 믿는 수밖에 없기에, 규칙을 작고 단순하게 유지했습니다.

실행기가 프로그램을 돌리며 모든 단계를 기록하고, 이 기록이 테이블이 됩니다.
프로버는 모든 행이 제약 조건을 만족한다는 것만 증명합니다.

🟢 표준 RV64IM 그대로 사용, 커스텀 명령어 없음
🟢이더리움 재단(EF) RISC-V 호환성 테스트 72/72 통과
🟢 해시 기반 STARK: 신뢰 설정 없이 양자 내성 확보
🟢 필드 연산부터 프로버까지 전체 스택 자체 구축 (Rust 약 5만 줄)

🟢LambdaVM은 Aligned의 증명 집계(Proof Aggregation) 서비스와 Rollup-as-a-Service 체인의 증명을 담당합니다.
🟢이더리움 블록처럼 큰 프로그램 처리와 GPU 작업은 별도로 소개할 예정입니다.

🟢zkVM의 규칙 하나가 틀리면, 일어나지 않은 실행의 증명도 통과됩니다.
🟢여러 zkVM이 같은 라이브러리를 쓰면 버그 하나가 모두에게 퍼지기에, LambdaVM은 독립적인 스택으로 진짜 다양성을 더합니다.

🟢표준 RV64IM만 사용, 이더리움 재단(EF) 호환성 테스트 72/72 통과
🟢해시 기반 STARK: 신뢰 설정 없이 양자 내성
🟢 암호 라이브러리까지 직접 구축, 전체 약 5만 줄

칩마다 스펙과 코드가 1:1로 대응해, 감사가 쉬워지고 형식 검증도 칩 단위로 바로 시작할 수 있습니다.

이더리움 블록처럼 큰 프로그램은 구간별로 나눠 증명하고, 재귀로 하나의 증명으로 묶습니다.