# Generated from lib/blog/terminal-sessions.json with VHS 0.11.0.
# Source-pinned expected I/O; no network, credential, or live endpoint is used.
Output public/blog/terminal/vii-docker-prover-smoke.webm
Output public/blog/terminal/vii-docker-prover-smoke.mp4
Output public/blog/terminal/vii-docker-prover-smoke.ascii

Set Shell bash
Set FontFamily "DejaVu Sans Mono"
Set FontSize 18
Set Width 1280
Set Height 720
Set Padding 24
Set Margin 0
Set Framerate 30
Set PlaybackSpeed 1.0
Set TypingSpeed 12 ms
Set CursorBlink false
Set Theme {"name":"zkdeal","black":"#07192f","red":"#ff6b6b","green":"#55d690","yellow":"#ffd166","blue":"#64a5ff","magenta":"#ad8cff","cyan":"#5ad9d0","white":"#f4f8ff","brightBlack":"#567091","brightRed":"#ff8a8a","brightGreen":"#7ae2a7","brightYellow":"#ffe08a","brightBlue":"#8bbcff","brightMagenta":"#c2aaff","brightCyan":"#82e7df","brightWhite":"#ffffff","background":"#07192f","foreground":"#dce9fb","selection":"#21466f","cursor":"#64a5ff"}

Hide
Type `DEMO_WORKSPACE=$(mktemp -d /tmp/zkdeal-vii-docker-prover-smoke.XXXXXX) && export DEMO_WORKSPACE && printf %s ZXhwb3J0IFBTMT0nJCAnCmV4cG9ydCBQUk9NUFRfQ09NTUFORD0nJwpqcSgpewogIGlmIFsgIiQxIiA9ICItciIgXSAmJiBbICIkIyIgLWdlIDMgXTsgdGhlbgogICAgY2FzZSAiJDIiIGluCiAgICAgIC50cmFuc2FjdGlvbnMuc3VibWl0KSBwcmludGYgJyVzXG4nICcweGFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWEnOyByZXR1cm4gMCA7OwogICAgICAudHJhbnNhY3Rpb25zLnN1Ym1pdEJsb2NrKSBwcmludGYgJyVzXG4nICcxMjMnOyByZXR1cm4gMCA7OwogICAgICAuY29udHJhY3RzLm1hbmFnZXIpIHByaW50ZiAnJXNcbicgJzB4YmJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYic7IHJldHVybiAwIDs7CiAgICBlc2FjCiAgZmkKICBjYXQKfQp0ZXN0KCl7IHJldHVybiAwOyB9CmRvY2tlcigpeyBsb2NhbCB6a2RlYWxfY291bnQ7IHprZGVhbF9jb3VudD0kKGNhdCAkREVNT19XT1JLU1BBQ0UvZG9ja2VyLWNhbGwgMj4vZGV2L251bGwgfHwgcHJpbnRmIDApOyB6a2RlYWxfY291bnQ9JCgoemtkZWFsX2NvdW50KzEpKTsgcHJpbnRmICclcycgIiR6a2RlYWxfY291bnQiID4gJERFTU9fV09SS1NQQUNFL2RvY2tlci1jYWxsOyBjYXNlICIkemtkZWFsX2NvdW50IiBpbiAxKSBwcmludGYgJyVzXG4nICdEaWdlc3Q6IHNoYTI1NjozZDc4M2JmZDEyZmQzZDYzNGVhMDNiZGQ5NmViNWYwNDkzMGQxNTYzZDQ5NDYxOWQwODg3NThlNTFhOGQ1ZDM0JyAnU3RhdHVzOiBJbWFnZSBpcyB1cCB0byBkYXRlIGZvciB6a2RlYWwvcHJvdmVyLWN1ZGFAc2hhMjU2OjNkNzgzYmZk4oCmJzsgcmV0dXJuIDAgOzsgMikgcHJpbnRmICclc1xuJyAnTlZJRElBIEdlRm9yY2UgUlRYIDQwOTAsIDguOSc7IHJldHVybiAwIDs7IDMpIHJldHVybiAwIDs7ICopIHJldHVybiAwIDs7IGVzYWM7IH0KY3VybCgpeyBsb2NhbCB6a2RlYWxfY291bnQ7IHprZGVhbF9jb3VudD0kKGNhdCAkREVNT19XT1JLU1BBQ0UvY3VybC1jYWxsIDI+L2Rldi9udWxsIHx8IHByaW50ZiAwKTsgemtkZWFsX2NvdW50PSQoKHprZGVhbF9jb3VudCsxKSk7IHByaW50ZiAnJXMnICIkemtkZWFsX2NvdW50IiA+ICRERU1PX1dPUktTUEFDRS9jdXJsLWNhbGw7IGNhc2UgIiR6a2RlYWxfY291bnQiIGluIDEpIHByaW50ZiAnJXNcbicgJ3sic3RhdHVzIjoicmVhZHkiLCJwcm90b2NvbFZlcnNpb24iOjYsImV2bUZvcmsiOiJvc2FrYSIsImNwdUZhbGxiYWNrIjpmYWxzZSwicHJvdmVyIjoicmlzYzAtbG9jYWwtY3VkYSJ9JzsgcmV0dXJuIDAgOzsgMikgcHJpbnRmICclc1xuJyAneyJwcm90b2NvbFZlcnNpb24iOjYsImJhY2tlbmRJZCI6InJpc2MwIiwiY3VkYUNvbXBpbGVkIjp0cnVlLCJwcm9kdWN0aW9uQ29tcGlsZWQiOnRydWUsInByb29mTW9kZXMiOlsic3VjY2luY3QiLCJncm90aDE2Il0sImV0aGVyZXVtU2VhbCI6dHJ1ZX0nOyByZXR1cm4gMCA7OyAqKSByZXR1cm4gMCA7OyBlc2FjOyB9CmZpbmQoKXsgcmV0dXJuIDA7IH0Kcm0oKXsgcmV0dXJuIDA7IH0KZ2l0KCl7IHJldHVybiAwOyB9Cm5vZGUoKXsgcmV0dXJuIDA7IH0KbnZpZGlhLXNtaSgpeyByZXR1cm4gMDsgfQprdXJ0b3NpcygpeyByZXR1cm4gMDsgfQpjcCgpeyByZXR1cm4gMDsgfQpzZWQoKXsgcmV0dXJuIDA7IH0KZ3JlcCgpeyByZXR1cm4gMTsgfQpzaGEyNTZzdW0oKXsgcmV0dXJuIDA7IH0K | base64 -d > "$DEMO_WORKSPACE/fixture.sh" && cd "$DEMO_WORKSPACE" && . "$DEMO_WORKSPACE/fixture.sh" && clear`
Enter
Wait+Line /[$]$/
Show
Type `IMAGE=zkdeal/prover-cuda@sha256:3d783bfd12fd3d634ea03bdd96eb5f04930d1563d494619d088758e51a8d5d34`
Enter
Wait+Line /[$]$/
Sleep 350 ms
Type `docker pull "$IMAGE"`
Enter
Wait+Line /[$]$/
Sleep 350 ms
Type `docker run --rm --gpus all --entrypoint nvidia-smi "$IMAGE" \`
Enter
Type `  --query-gpu=name,compute_cap --format=csv,noheader`
Enter
Wait+Line /[$]$/
Sleep 350 ms
Type `export ZKDEAL_PROVER_TOKEN="$(openssl rand -hex 32)"`
Enter
Wait+Line /[$]$/
Sleep 350 ms
Type `PROVER_ID="$(docker run --rm --gpus all -d \`
Enter
Type `  -p 127.0.0.1:8080:8080 -e ZKDEAL_PROVER_TOKEN \`
Enter
Type `  -e SEGMENT_PO2=20 "$IMAGE")" && export PROVER_ID`
Enter
Wait+Line /[$]$/
Sleep 350 ms
Type `curl -fsS http://127.0.0.1:8080/healthz | \`
Enter
Type `  jq '{status,protocolVersion,evmFork,cpuFallback,prover}'`
Enter
Wait+Line /[$]$/
Sleep 350 ms
Type `curl -fsS http://127.0.0.1:8080/v5/capabilities | \`
Enter
Type `  jq '{protocolVersion,backendId,cudaCompiled,productionCompiled,proofModes,ethereumSeal}'`
Enter
Wait+Line /[$]$/
Sleep 350 ms
Type `docker stop "$PROVER_ID" >/dev/null && unset PROVER_ID ZKDEAL_PROVER_TOKEN`
Enter
Wait+Line /[$]$/
Sleep 350 ms
Screenshot public/blog/terminal/vii-docker-prover-smoke-poster.png
Sleep 1 s