From 2d3812835fd19ee3d656a6a4122caa1c5ad0cf85 Mon Sep 17 00:00:00 2001 From: Aere Network Date: Tue, 29 Sep 2026 11:47:48 +0300 Subject: [PATCH] tools/package.json: the verifier's dependencies, so that the published instruction works from scratch (npm install in tools/, then node verify-proof.mjs proof-vectors/...). Until now the package had no package.json: npm install installed nothing and verify-proof.mjs could not start. proof-vectors/README.md: the commands run from tools/. --- tools/package.json | 12 ++++++++++++ tools/proof-vectors/README.md | 7 ++++--- 2 files changed, 16 insertions(+), 3 deletions(-) create mode 100644 tools/package.json diff --git a/tools/package.json b/tools/package.json new file mode 100644 index 0000000..cbd4c68 --- /dev/null +++ b/tools/package.json @@ -0,0 +1,12 @@ +{ + "name": "aere-verify-anchor", + "version": "3.0.0", + "description": "Independently verify that Aere Network (chain 2800, or the public testnet 28001 with CHAIN_ID=28001) binds a post-quantum certificate under the block hash: every Falcon-512 seal, and from the v2 (scheme-tagged) certificate every SLH-DSA-SHA2-128s seal, is a valid signature by a validator-bound key from the published manifests.", + "type": "module", + "main": "verify-anchor.mjs", + "bin": { "aere-verify-anchor": "verify-anchor.mjs" }, + "scripts": { "start": "node verify-anchor.mjs" }, + "dependencies": { "@noble/hashes": "^1.4.0", "@noble/curves": "^1.4.0", "@noble/post-quantum": "^0.7.1" }, + "license": "MIT", + "homepage": "https://aere.network/quantum.html" +} diff --git a/tools/proof-vectors/README.md b/tools/proof-vectors/README.md index 608262e..3cbd9bf 100644 --- a/tools/proof-vectors/README.md +++ b/tools/proof-vectors/README.md @@ -1,11 +1,12 @@ # AERE Proof Protocol conformance vectors (AIP-23) -Run the reference verifier on each envelope and compare the verdict: +Run the reference verifier on each envelope and compare the verdict. From the `tools/` folder, where `package.json` names the +verifier's dependencies: ``` npm install -node ../verify-proof.mjs 01-proof-of-software.json -node ../verify-proof.mjs 06-notarized-28001.json --chain 28001 --rpc https://testnet-rpc.aere.network +node verify-proof.mjs proof-vectors/01-proof-of-software.json +node verify-proof.mjs proof-vectors/06-notarized-28001.json --chain 28001 --rpc https://testnet-rpc.aere.network ``` | envelope | offline (no --rpc) | what it tests |