리스펙스 문서 v1.21. 이 페이지의 모든 링크는 아래 표시된 릴리스에 고정되어 있습니다. 설치 스크립트는 현재 릴리스를 찾은 뒤, 내려받은 바이너리를 곁에 있는 SHA-256 체크섬 파일과 비교합니다.
배포 파일 버전 v1.20.0
모든 플랫폼
| 플랫폼 | 바이너리 | 체크섬 |
|---|---|---|
| Linux · x86_64 | lispex-linux-x86_64 | .sha256 |
| Linux · aarch64 | lispex-linux-aarch64 | .sha256 |
| macOS · Apple silicon | lispex-macos-aarch64 | .sha256 |
| macOS · Intel | lispex-macos-x86_64 | .sha256 |
| Windows · x86_64 | lispex-windows-x86_64.exe | .sha256 |
| 릴리스 매니페스트 | manifest.json | 파일 이름, 크기, 주소, SHA-256 해시 |
조판 규칙 작업 공간
제목 위치 결정을 인쇄소에 전달하세요
규칙과 입력을 준비하고 결정에 서명한 뒤 수신자가 인증하고 재실행합니다. 가이드에 전체 파일과 명령이 있습니다.
자원 제어 규칙 엔진의 정확한 바이트
애플리케이션은 네이티브에 내장된 엔진의 정확한 바이트를 고정할 수 있습니다. 이 엔진은 선언한 자원 프로필로 규칙 하나를 실행합니다. 매니페스트는 기능과 계량과 값 교환과 영수증 필드와 메모리 상한과 체크섬을 고정합니다. 기록한 요청과 결과 바이트로 모든 소비자가 정확한 관측을 비교할 수 있습니다.
| 항목 | 파일 | 체크섬 |
|---|---|---|
| 자원 제어 규칙 엔진 WASM | lispex-embed-evaluator.wasm | .sha256 |
| 규칙 엔진 매니페스트 | lispex-embed-evaluator-manifest.json | .sha256 |
| 기록해 둔 요청과 결과 바이트 | lispex-embed-evaluator-golden-vectors.json | .sha256 |
| 규칙 엔진 재배포 패키지 | lispex-embed-evaluator-redistribution.zip | .sha256 |
언어 전체를 다루는 규칙 엔진의 정확한 바이트
별도의 컴포넌트가 lispex-profile-1.5 전체를 다루고 기능과 계량과 컴포넌트와 아티팩트 식별자를 각각 가집니다. 확립된 값 교환과 실행 기록과 전달형 기록 형식을 재사용합니다. 네이티브는 명시적인 embed full 명령에서 이 컴포넌트를 고르고 작업마다 새 인스턴스를 만듭니다.
| 항목 | 파일 | 체크섬 |
|---|---|---|
| 언어 전체 규칙 엔진 WASM | lispex-full-embed-evaluator.wasm | .sha256 |
| 언어 전체 규칙 엔진 매니페스트 | lispex-full-embed-evaluator-manifest.json | .sha256 |
| 언어 전체 엔진의 기록해 둔 벡터 | lispex-full-embed-evaluator-provider-vectors.json | .sha256 |
| 언어 전체 규칙 엔진 재배포 패키지 | lispex-full-embed-evaluator-redistribution.zip | .sha256 |
한 줄 설치
# macOS / Linux
curl -fsSL https://www.lispex.com/install.sh | sh
# Windows (PowerShell)
irm https://www.lispex.com/install.ps1 | iex
# npm (Node 18+)
npm install -g lispex설치된 명령 확인하기
설치에 성공하면 정확한 제품 버전이 표시됩니다. 언제든 다음 명령으로 다시 확인할 수 있습니다.
lispex --version
# 예상 결과: lispex v1.20.0명령을 찾지 못한다면
- macOS와 Linux는 기본적으로 ~/.lispex/bin에 설치합니다. 이 디렉터리를 PATH에 추가한 뒤 셸을 다시 시작하세요.
- Windows는 기본적으로 %LOCALAPPDATA%\Lispex\bin에 설치합니다. 사용자 PATH에 이 디렉터리를 추가한 뒤 새 PowerShell 창을 여세요.
- npm을 골랐다면 Node 18 이상이 활성화되어 있고 npm 전역 바이너리 디렉터리가 PATH에 들어 있는지 확인하세요.
어떤 방식으로 실행해야 하나요?
- 네이티브를 고르면 가장 넓은 도구 표면을 쓸 수 있습니다. 소스 인터프리터와 자원 제어 규칙 엔진과 검증 바이트코드용 Rust VM과 중간 형식 명령과 정확한 리스펙스 이미지와 전체 바우치 흐름이 들어 있습니다. 네이티브는 증거 발행과 고정 요청의 현재 재실행과 로컬 게이트를 맡습니다. 같은 정확한 소스에서 컴파일된 결과물을 유도하고 Rust VM 일치도 기록할 수 있습니다.
- Node가 이미 있다면 npm판을 고르세요. 소스를 실행하고 Rust를 WASM으로 컴파일한 코어로 네이티브와 같은 정확한 이미지 명령을 제공하며 같은 검사기로 바우치 증거를 인증합니다. 결정 코퍼스도 오프라인으로 리플레이합니다. 중간 형식과 검증 바이트코드와 VM, 증거 발행과 현재 재실행과 로컬 게이트는 네이티브가 맡습니다.
- 플레이그라운드에서는 브라우저 안에서 소스를 실행하고 정확한 이미지를 만들고 열고 넘겨 보고 복원하고 내려받아 실행할 수 있습니다. 네이티브는 중간 형식과 바이트코드와 VM을 제공하고, 네이티브와 npm은 바우치 아티팩트와 정책 도구를 제공합니다.
리스펙스 이미지
정확한 소스를 언제 열어도 그대로인 이미지로 전달하세요
네이티브와 npm은 같은 이미지 명령을 쓰고 공개 WASM과 플레이그라운드는 같은 Rust 코덱을 로컬로 실행합니다. 형식과 무결성과 패리티와 재생성 검사를 거쳐 소스를 바이트 단위로 복원합니다. 네이티브는 복원한 소스를 전체 바우치 흐름에 연결하고 npm은 식별자와 정책과 인증 검사에 연결합니다.
리스펙스 바우치
결정이 로컬 게이트까지 가야 한다면 네이티브를 사용하세요
네이티브는 인증된 증거를 수신자가 묶음 밖에서 제공한 정확한 소스와 입력에 결속하고, 자기 컴퓨터에서 규칙을 다시 실행해 일치하는 로컬 결정을 기록합니다. 요청하면 같은 소스에서 컴파일된 결과물을 유도하고 검증 Rust VM 일치도 기록합니다. 로컬 게이트는 현재 요청 결속 근거를 소비하고 호스트 애플리케이션은 게이트 결과를 소비합니다.