Files
ledger-handshake/scripts/gen-manifest
eskimo 1b70b558c6
Some checks failed
Checks on the Python tests / Call Ledger Python linters (push) Has been cancelled
Build and run functional tests using ragger through reusable workflow / Build application using the reusable workflow (push) Has been cancelled
Run coding style check / Check linting using the reusable workflow (push) Has been cancelled
Ensure compliance with Ledger guidelines / Call Ledger guidelines_enforcer (push) Has been cancelled
Misspellings checks / Check misspellings (push) Has been cancelled
Build and run functional tests using ragger through reusable workflow / Run standalone ragger tests using the reusable workflow (push) Has been cancelled
Handshake Ledger app
Hardware-wallet app for Handshake (HNS). Derives Handshake addresses and signs
Handshake transactions, including name-auction covenants, on Ledger Stax, Flex,
Nano S+, Nano X and Apex+.

The design premise is that the host computer is untrusted: every APDU byte is
attacker-controlled, and the device's job is to be correct when the host lies.
Two failures outrank all others, and the code is shaped around them.

Signing something other than what the user approved. Any field the signature
commits to and the host can vary has to appear on the review screen, and
anything the screen cannot represent honestly is refused rather than shown under
a label that does not describe it. So the device signs SIGHASH_ALL only,
checked per input rather than once for the session; it displays a TRANSFER
covenant's destination, which decides who ends up owning the name and appears
nowhere else in the output; it shows a covenant's name hash when the plaintext
name cannot be verified against it; and it refuses covenant kinds it cannot
name, outputs whose values exceed their inputs, and declared input totals that
would overflow the fee arithmetic.

Misusing key material. Derivation paths are constrained to
m/44'/{5353..5356}'/account'[/change/index] in the app itself, not only by the
install manifest, because BOLOS terminates the app on an out-of-whitelist path
instead of returning an error. One coin type per signing session, since the
review renders every address under a single HRP.

Panics count too: set_panic!(exiting_panic) means a panic kills the app and
strands the session, so nothing unwraps on host-derived data and the session
ceilings are sized to the configured heap.

Consensus follows shd, the Swift Handshake node, which is the reference for the
sighash preimage, covenant item layouts and address encoding.

SIGN_TX is a PSBT-style state machine driven by P1 (BEGIN / ADD_INPUT /
ADD_OUTPUT / REVIEW / SIGN_INPUT): the host streams the transaction as
structured records, the device accumulates its own view of the values, shows one
review, then signs each input on demand.

Tests run under speculos in a container (./scripts/test), 66 of them, green on
all five devices. test_sign_tx_policy.py covers each refusal above and needs no
golden snapshots because every case is rejected before anything is drawn; the
snapshots that do exist are the record of what the user sees before approving.
tests/application_client/handshake_sighash.py is a deliberately independent
reimplementation of the sighash, used to verify real signatures.

Status: v0.1, pre-audit. Not for mainnet keys. Signing has not yet been
exercised on physical hardware.

Forked from LedgerHQ/app-boilerplate-rust (Apache-2.0).

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2026-09-06 15:13:36 -04:00

97 lines
3.4 KiB
Python
Executable File

#!/usr/bin/env python3
"""Write the ledgerctl install manifest for a built app.
cargo-ledger does not emit `app_<device>.json` on macOS, so generate it from
the built ELF plus `[package.metadata.ledger]` in Cargo.toml.
Everything that can be read from the ELF is read from the ELF: app name,
version, api level and target id all come from its `ledger.*` sections, so the
manifest cannot drift from the binary it installs.
`dataSize` is `_envram_data - _nvram_data`: the NVRAM the app is granted at
install time. Getting it too small installs an app that will not launch.
Usage: ./scripts/gen-manifest [stax|flex|nanox|nanosplus] (default: stax)
"""
import json
import pathlib
import subprocess
import sys
import tomllib
LLVM_NM = "/opt/homebrew/opt/llvm/bin/llvm-nm"
LLVM_OBJCOPY = "/opt/homebrew/opt/llvm/bin/llvm-objcopy"
# cargo-ledger's Cargo.toml key -> the [package.metadata.ledger.<key>] table
DEVICE_TABLE = {
"stax": "stax", "flex": "flex",
"nanox": "nanox", "nanosplus": "nanosplus", "apex_p": "apex_p",
}
def elf_section(elf, name):
"""Read a `ledger.*` metadata string section out of the ELF."""
out = subprocess.run(
[LLVM_OBJCOPY, f"--dump-section=ledger.{name}=/dev/stdout", elf, "/dev/null"],
capture_output=True,
).stdout
return out.decode("utf-8", "replace").strip("\0\n ")
def data_size(elf):
"""NVRAM granted to the app: `_envram_data - _nvram_data`."""
out = subprocess.run([LLVM_NM, elf], capture_output=True, text=True).stdout
sym = {}
for line in out.splitlines():
parts = line.split()
if len(parts) == 3 and parts[2] in ("_nvram_data", "_envram_data"):
sym[parts[2]] = int(parts[0], 16)
missing = {"_nvram_data", "_envram_data"} - sym.keys()
if missing:
sys.exit(f"gen-manifest: {elf} has no {', '.join(sorted(missing))} symbol")
return sym["_envram_data"] - sym["_nvram_data"]
def main():
device = sys.argv[1] if len(sys.argv) > 1 else "stax"
root = pathlib.Path(__file__).resolve().parent.parent
cargo = tomllib.loads((root / "Cargo.toml").read_text())
pkg = cargo["package"]
meta = pkg["metadata"]["ledger"]
per_device = meta.get(DEVICE_TABLE.get(device, device), {})
elf = root / "target" / device / "release" / pkg["name"]
if not elf.is_file():
sys.exit(f"gen-manifest: {elf} not built: run ./scripts/build {device} first")
hex_path = elf.with_suffix(".hex")
if not hex_path.is_file():
sys.exit(f"gen-manifest: {hex_path} missing: run ./scripts/build {device} first")
icon = per_device.get("icon")
if not icon:
sys.exit(f"gen-manifest: no icon for '{device}' in [package.metadata.ledger.{device}]")
flags = meta.get("flags", "0")
manifest = {
"name": elf_section(elf, "app_name"),
"version": elf_section(elf, "app_version"),
"icon": str(root / icon),
"targetId": elf_section(elf, "target_id"),
"flags": f"0x{int(str(flags), 0):03x}",
"apiLevel": elf_section(elf, "api_level"),
"derivationPath": {"curves": meta["curve"], "paths": meta["path"]},
"binary": hex_path.name,
"dataSize": data_size(elf),
}
out = elf.parent / f"app_{device}.json"
out.write_text(json.dumps(manifest, indent=4) + "\n")
print(f"wrote {out.relative_to(root)} "
f"(name={manifest['name']} apiLevel={manifest['apiLevel']} "
f"dataSize={manifest['dataSize']})")
if __name__ == "__main__":
main()