리스펙스를 플레이그라운드에서 실행하거나 npm CLI를 설치하거나 네이티브 바이너리를 내려받으세요. 네이티브와 npm은 공유 Rust로 정확한 요청에 고정한 bundle을 인증하며, 네이티브 재실행과 gate는 이 외부 source·input 경로를 반드시 요구합니다.
한눈에 보기
LISPEX
(define answer (* 6 7))
answer결과
OUTPUT
42작업 방법
- 플레이그라운드는 설치 없이 공개 WASM 빌드를 실행합니다.
- Node 배포 CLI는
npm install -g lispex를 사용하고, 플랫폼 바이너리와 체크섬은 다운로드 페이지에서 받습니다. - 파일 또는 표준 입력을 위에서 아래로 평가하고 마지막 결과를 정규 표기로 출력합니다.
- 리스펙스를 설치하고 정확한 identity를 산출·검토하고 policy v1을 생성·검사한 뒤, 모든 bundle 재실행·gate 호출에 의도한 source·input을 bundle 밖에서 제공하세요.
- 웹사이트 루트 주소를 열면 서버가 브라우저의 Accept-Language 선호를 협상합니다. 한국어는
/v1.7/ko, 러시아어는/v1.7/ru, 나머지는/v1.7/en으로 이동합니다. 공개 마이너 버전 경로는 모든 다국어 랜딩·설명서·다운로드·플레이그라운드 URL에 유지됩니다. 품질 가중치와 지역 서브태그를 반영하고 언어 전환기에서 명시적으로 고른 언어가 우선하며, 기존 무버전·v1.6 로케일 URL은 현재 마이너 버전으로 이동합니다. - 네이티브와 npm에서는 이름 있는
.lspx파일을 정확한 리스펙스 이미지로 만들고, 소스를 출력하지 않은 채 검사하고, 원본 바이트를 복원하며, 정규성 증명 뒤 명시적으로 실행할 수 있습니다. 플레이그라운드는 같은 흐름을 설치 없이 로컬에서 제공합니다. - 증명된 리스펙스 이미지는 Vouch 흐름에서 정확한 소스 경로를 대신할 수 있습니다. 같은 별도 입력과 함께
--source-image IMAGE를 사용하세요. 이미지가 요청을 선택하거나 권한을 부여하지는 않습니다.
경계
- 네이티브만
lispex vouch issue,vouch verify --reexecute,vouch gate --require-decision을 제공합니다. 네이티브와 npm은 모두 flag 없는 인증vouch verify를 제공하고 npm은 구조 검사vouch inspect와 코퍼스vouch replay도 제공합니다. - 네이티브와 WASM 프로필의 자원 상한은 다를 수 있습니다.