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/.

This commit is contained in:
Aere Network 2026-09-29 11:47:48 +03:00
parent 31604bab02
commit 2d3812835f
2 changed files with 16 additions and 3 deletions

12
tools/package.json Normal file
View File

@ -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"
}

View File

@ -1,11 +1,12 @@
# AERE Proof Protocol conformance vectors (AIP-23) # 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 npm install
node ../verify-proof.mjs 01-proof-of-software.json node verify-proof.mjs proof-vectors/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/06-notarized-28001.json --chain 28001 --rpc https://testnet-rpc.aere.network
``` ```
| envelope | offline (no --rpc) | what it tests | | envelope | offline (no --rpc) | what it tests |