사용자 지정 zkVM 및 영지식 인프라
선택된 엔지니어링 작업Rust 기반의 검증 가능한 계산, 프라이버시를 보존하는 실행 및 zkVM 인프라에 대한 검증되고 선정된 엔지니어링 작업.
맥락
범위에는 ZK 네이티브 가상 머신, 실행 트레이스, AIR 제약, Plonky3 기반 STARK 증명, 그리고 분산 시스템 구성 요소가 포함됩니다.
문제 또는 목표
명시적인 공개 입력, 상태, 트랜잭션 및 검증 경계를 갖춘 검증 가능 연산 및 프라이버시 보존 실행 인프라 개발.
제공된 범위
- Rust 기반 검증 가능한 계산
- 프라이버시 보존 실행
- ZK 네이티브 가상 머신
- 명령어 집합 구조
- 실행 흔적
- AIR 제약
- Plonky3 기반 STARK 증명
- 공개 입력 바인딩
- 건전성 중심의 검증 메커니즘
- 결정적 상태 기계
- 메르클 증명
- 트랜잭션 커밋 및 롤백
- RPC
- libp2p
- GossipSub
- 상태 저장 방식
엔지니어링 영역
- Rust
- 검증 가능한 계산
- 영지식 인프라
- 분산 시스템
- 상태 및 트랜잭션 설계
대표적인 출력
- ZK 네이티브 가상 기계 인프라
- 실행 트레이스 및 AIR 제약
- 공개 입력 바인딩 및 검증 메커니즘
- 분산 상태 및 네트워크 구성 요소
이것이 보여 주는 것
- 검증 가능한 계산 엔지니어링
- 프라이버시를 보존하는 실행 설계
- 분산 시스템 및 상태 머신 작업
범위 및 공개
이 요약은 검증된 엔지니어링 인벤토리에만 국한되어 있으며, 보증, 보편적 특성과 성능 결과 또는 채택을 주장하지 않습니다.
구현 세부 사항을 검증된 인프라 인벤토리 내에 두고, 명시되지 않은 프로토콜 또는 배포 관련 주장을 추가하지 마십시오.