플레이그라운드

공유 Rust WebAssembly 코어로 소스를 실행하고 정확한 리스펙스 이미지를 만들고 열고 복원·다운로드·명시적 실행하세요. 모든 작업은 이 브라우저 안에서 이루어집니다.

첫 결정브라우저 · Rust WebAssembly

01 · 규칙refund-window.lspx
02 · 입력
03 · 결정·
04 · 확인 가능한 기록네이티브 인계 파일 받기

이것은 브라우저 실행 결과입니다. 네이티브가 전달용 결정 기록을 만들고 애플리케이션 행동 게이트를 평가합니다.

새 디렉터리에 압축을 풀고 포함된 명시적 명령을 실행하면 확인 가능한 기록을 만들고 inspect·verify·replay할 수 있습니다.

리스펙스

(let ((input '((days . 14) (opened . #f))))
  (let ((days (cdr (car input)))
        (opened (cdr (car (cdr input)))))
    (if (< days 15)
        (if opened "deny" "allow")
        "deny")))

예제

출력불러오는 중…

진단

리스펙스 이미지

모든 이미지 작업은 이 브라우저 안에서 이루어집니다. 이미지는 정확한 소스 바이트를 담습니다. 네이티브가 서명과 신뢰 정책과 행동 게이트 흐름을 제공합니다.