Skip to content

Commit e65ecab

Browse files
committed
docs: add manual verification steps
1 parent 2b69fc1 commit e65ecab

File tree

1 file changed

+33
-0
lines changed

1 file changed

+33
-0
lines changed

docs/manual.md

+33
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
# Verify Enclave Attestation
2+
3+
### 1. Download enclave image
4+
5+
```bash
6+
curl -L https://static.tinfoil.sh/tinfoil-enclave-ollama-v0.0.4.eif -o tinfoil-enclave.eif
7+
```
8+
9+
### 2. Verify Attestation
10+
11+
#### 2.1. Download Attestation Document
12+
13+
```bash
14+
DIGEST="sha256:$(sha256sum tinfoil-enclave.eif | cut -d ' ' -f 1)"
15+
curl -sL "https://api.github.com/repos/tinfoilanalytics/nitro-private-inference-image/attestations/$DIGEST" | jq -r ".attestations[0].bundle" > attestation.jsonl
16+
```
17+
18+
#### 2.2. Verify Attestation with [cosign](https://github.com/sigstore/cosign)
19+
20+
```bash
21+
cosign verify-blob-attestation \
22+
--new-bundle-format \
23+
--bundle attestation.jsonl \
24+
--certificate-oidc-issuer="https://token.actions.githubusercontent.com" \
25+
--certificate-identity-regexp="^https://github.com/tinfoilanalytics/nitro-private-inference-image/.github/workflows/release.yml.?" \
26+
tinfoil-enclave.eif
27+
```
28+
29+
### 3. Extract PCR measurement predicate
30+
31+
```bash
32+
jq -r ".dsseEnvelope.payload" attestation.jsonl | base64 -d | jq -r ".predicate"
33+
```

0 commit comments

Comments
 (0)