@smartledger/bsv 8.1.0 → 8.2.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (29) hide show
  1. package/CHANGELOG.md +82 -0
  2. package/README.md +38 -38
  3. package/bsv-gdaf.min.js +47 -47
  4. package/bsv-smartcontract.min.js +1 -1
  5. package/bsv.bundle.js +48 -48
  6. package/bsv.min.js +48 -48
  7. package/docs/AUDIT_SCOPE.md +8 -8
  8. package/docs/MODULE_REFERENCE_COMPLETE.md +27 -27
  9. package/docs/advanced/UTXO_MANAGER_GUIDE.md +1 -1
  10. package/docs/getting-started/INSTALLATION.md +23 -23
  11. package/docs/getting-started/QUICK_START.md +7 -7
  12. package/docs/migration/FROM_BSV_1_5_6.md +5 -5
  13. package/lib/gdaf/attestation-signer.js +90 -2
  14. package/lib/gdaf/attestation-verifier.js +41 -25
  15. package/lib/gdaf/zk-prover.js +143 -46
  16. package/package.json +3 -2
  17. package/test/gdaf/canonicalization.js +106 -0
  18. package/test/gdaf/zk_prover.js +204 -0
  19. package/tools/minimal_reproduction.js +119 -0
  20. package/tools/opcode_map.js +342 -0
  21. package/tools/server.js +97 -0
  22. package/tools/simple_real_tx.js +136 -0
  23. package/tools/sv-sighash-harness.js +123 -0
  24. package/tools/sv-sighash-report.js +71 -0
  25. package/tools/sv-tx-harness.js +172 -0
  26. package/tools/sv-tx-report.js +43 -0
  27. package/tools/sv-vector-harness.js +304 -0
  28. package/tools/sv-vector-report.js +88 -0
  29. package/version.js +1 -1
package/CHANGELOG.md CHANGED
@@ -7,6 +7,88 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
7
7
 
8
8
  ## [Unreleased]
9
9
 
10
+ ## [8.2.0] - 2026-08-15
11
+
12
+ Two independent reviews of 8.1.0, both acted on after reproducing every claim. Between
13
+ them they found a proof system that verified nothing, a selective-disclosure scheme that
14
+ leaked the fields it withheld, and a signature canonicalization no other implementation
15
+ can reproduce. **4,469 tests passed with all of it in place**, because none of them
16
+ touched those files.
17
+
18
+ ### `lib/gdaf/zk-prover.js` — verified nothing, and leaked what it hid
19
+
20
+ This module had **zero test coverage**.
21
+
22
+ **`verifyRangeProof` verified nothing.** It ended at `return proof.inRange === true` — a
23
+ boolean the prover writes about itself. `valueCommitment` was never consulted, so any
24
+ object of the right shape passed:
25
+
26
+ ```js
27
+ { type: 'RangeProof', range: { min: 18, max: 120 },
28
+ valueCommitment: '00…', proofHash: 'de…', inRange: true } // → true
29
+ ```
30
+
31
+ `verifyAgeProof` had the same shape: it accepted `meetsRequirement`, then checked only
32
+ that `challengeResponse` was a non-empty string.
33
+
34
+ Both now require the **opening**, check the commitment actually opens to the claimed
35
+ value, and recompute the range or age rather than trusting the prover. Without an opening
36
+ they return `false`, because nothing has been proven. The generators return the opening
37
+ alongside the proof rather than inside it — embedding it would make every proof
38
+ self-opening.
39
+
40
+ **Selective disclosure leaked the withheld fields.** One salt covered every leaf and
41
+ travelled in the proof, so the sibling hashes on the Merkle path could be brute-forced
42
+ back into the hidden values. Disclosing only `credentialSubject.name` recovered `id`
43
+ directly, and `partyAffiliation` with `eligible` from their shared parent node. Each leaf
44
+ now carries its own salt, derived from a master that never leaves the generator, and only
45
+ the disclosed leaves' salts travel in the proof.
46
+
47
+ **A proof generated without an explicit salt could never verify.** The return used the
48
+ `salt` argument — `undefined` when omitted — instead of the one `createMerkleTree`
49
+ produced.
50
+
51
+ **Nothing here is zero-knowledge**, and the module said otherwise in three places. These
52
+ are hash commitments and a Merkle tree; the range and age commitments can only be checked
53
+ by opening them, which reveals the committed value. The npm keyword
54
+ `zero-knowledge-proofs` is replaced with `selective-disclosure`, the "Bulletproof-style"
55
+ comment is corrected, and the docblock states the limitation plainly.
56
+
57
+ 21 tests where there were none, each pinning the attack rather than the fix.
58
+
59
+ ### GDAF canonicalization is now RFC 8785
60
+
61
+ `_canonicalizeJSON` sorted keys and then rebuilt an object, which loses the sort: V8
62
+ orders integer-like own properties numerically, ahead of string keys.
63
+
64
+ ```
65
+ ours {"2":"two","10":"ten"}
66
+ JCS {"10":"ten","2":"two"} (UTF-16 code-unit order)
67
+ ```
68
+
69
+ Within this library that was deterministic — signing and verification agreed, and no
70
+ forgery follows. The failure is interoperability: GDAF credentials exist to be checked by
71
+ other parties, and a JCS-conformant verifier in any language computes a different hash and
72
+ rejects a valid signature.
73
+
74
+ `_canonicalizeJCS` serializes directly rather than round-tripping through an object, so
75
+ the order survives. Non-finite numbers now throw rather than serializing as `null`, which
76
+ would silently sign a different document than the one supplied.
77
+
78
+ **Migration is handled**: signing uses JCS, and verification tries JCS then the legacy
79
+ form, so credentials, presentations and `rootHash` values written before this keep
80
+ verifying. `1847`, `1847.0` and `1.847e3` still hash identically, which is correct rather
81
+ than a weakness — they are the same IEEE-754 double — and a test pins it.
82
+
83
+ ### Packaging
84
+
85
+ `files` shipped `test/` but not `tools/`, and three consensus specs require it. `tools/`
86
+ now ships, and the tarball file-count guard is raised to 370 to accommodate it: the
87
+ vectors are inert without the harnesses that run them.
88
+
89
+ Note that a consumer still cannot run the shipped tests, because devDependencies are
90
+ absent — whether `test/` should ship at all is a separate question.
91
+
10
92
  ## [8.1.0] - 2026-08-13
11
93
 
12
94
  ### `useGenesisLimits()` no longer raises the script-number bound
package/README.md CHANGED
@@ -186,42 +186,42 @@ console.log('Status:', status) // 'revoked'
186
186
  ### **Core Modules**
187
187
  | Module | Size | Use Case | CDN |
188
188
  |--------|------|----------|-----|
189
- | **bsv.min.js** | 1149KB | Core BSV + SmartContract | `unpkg.com/@smartledger/bsv@8.1.0/bsv.min.js` |
190
- | **bsv.bundle.js** | 1149KB | Everything in one file | `unpkg.com/@smartledger/bsv@8.1.0/bsv.bundle.js` |
189
+ | **bsv.min.js** | 1149KB | Core BSV + SmartContract | `unpkg.com/@smartledger/bsv@8.2.0/bsv.min.js` |
190
+ | **bsv.bundle.js** | 1149KB | Everything in one file | `unpkg.com/@smartledger/bsv@8.2.0/bsv.bundle.js` |
191
191
 
192
192
  ### **W3C Verifiable Credentials**
193
193
  | Module | Size | Use Case | CDN |
194
194
  |--------|------|----------|-----|
195
- | **🟢 bsv-didweb.min.js** | 315KB | **DID:web generation** | `unpkg.com/@smartledger/bsv@8.1.0/bsv-didweb.min.js` |
196
- | **🟢 bsv-vcjwt.min.js** | 315KB | **VC-JWT issue/verify** | `unpkg.com/@smartledger/bsv@8.1.0/bsv-vcjwt.min.js` |
197
- | **🟢 bsv-statuslist.min.js** | 415KB | **StatusList2021 revocation** | `unpkg.com/@smartledger/bsv@8.1.0/bsv-statuslist.min.js` |
198
- | **🟢 bsv-anchor.min.js** | 314KB | **BSV anchoring (hash-only)** | `unpkg.com/@smartledger/bsv@8.1.0/bsv-anchor.min.js` |
195
+ | **🟢 bsv-didweb.min.js** | 315KB | **DID:web generation** | `unpkg.com/@smartledger/bsv@8.2.0/bsv-didweb.min.js` |
196
+ | **🟢 bsv-vcjwt.min.js** | 315KB | **VC-JWT issue/verify** | `unpkg.com/@smartledger/bsv@8.2.0/bsv-vcjwt.min.js` |
197
+ | **🟢 bsv-statuslist.min.js** | 415KB | **StatusList2021 revocation** | `unpkg.com/@smartledger/bsv@8.2.0/bsv-statuslist.min.js` |
198
+ | **🟢 bsv-anchor.min.js** | 314KB | **BSV anchoring (hash-only)** | `unpkg.com/@smartledger/bsv@8.2.0/bsv-anchor.min.js` |
199
199
 
200
200
  ### **Smart Contract & Development**
201
201
  | Module | Size | Use Case | CDN |
202
202
  |--------|------|----------|-----|
203
- | **bsv-smartcontract.min.js** | 873KB | Complete covenant framework | `unpkg.com/@smartledger/bsv@8.1.0/bsv-smartcontract.min.js` |
204
- | **bsv-covenant.min.js** | 873KB | Covenant operations | `unpkg.com/@smartledger/bsv@8.1.0/bsv-covenant.min.js` |
205
- | **bsv-script-helper.min.js** | 30KB | Custom script tools | `unpkg.com/@smartledger/bsv@8.1.0/bsv-script-helper.min.js` |
206
- | **bsv-security.min.js** | 30KB | Security enhancements | `unpkg.com/@smartledger/bsv@8.1.0/bsv-security.min.js` |
203
+ | **bsv-smartcontract.min.js** | 873KB | Complete covenant framework | `unpkg.com/@smartledger/bsv@8.2.0/bsv-smartcontract.min.js` |
204
+ | **bsv-covenant.min.js** | 873KB | Covenant operations | `unpkg.com/@smartledger/bsv@8.2.0/bsv-covenant.min.js` |
205
+ | **bsv-script-helper.min.js** | 30KB | Custom script tools | `unpkg.com/@smartledger/bsv@8.2.0/bsv-script-helper.min.js` |
206
+ | **bsv-security.min.js** | 30KB | Security enhancements | `unpkg.com/@smartledger/bsv@8.2.0/bsv-security.min.js` |
207
207
 
208
208
  ### **Legal & Compliance**
209
209
  | Module | Size | Use Case | CDN |
210
210
  |--------|------|----------|-----|
211
- | **bsv-ltp.min.js** | 1149KB | Legal Token Protocol | `unpkg.com/@smartledger/bsv@8.1.0/bsv-ltp.min.js` |
212
- | **bsv-gdaf.min.js** | 1149KB | Digital Identity & Attestation | `unpkg.com/@smartledger/bsv@8.1.0/bsv-gdaf.min.js` |
211
+ | **bsv-ltp.min.js** | 1149KB | Legal Token Protocol | `unpkg.com/@smartledger/bsv@8.2.0/bsv-ltp.min.js` |
212
+ | **bsv-gdaf.min.js** | 1149KB | Digital Identity & Attestation | `unpkg.com/@smartledger/bsv@8.2.0/bsv-gdaf.min.js` |
213
213
 
214
214
  ### **Advanced Cryptography**
215
215
  | Module | Size | Use Case | CDN |
216
216
  |--------|------|----------|-----|
217
- | **bsv-shamir.min.js** | 353KB | Threshold Cryptography | `unpkg.com/@smartledger/bsv@8.1.0/bsv-shamir.min.js` |
217
+ | **bsv-shamir.min.js** | 353KB | Threshold Cryptography | `unpkg.com/@smartledger/bsv@8.2.0/bsv-shamir.min.js` |
218
218
 
219
219
  ### **Utilities**
220
220
  | Module | Size | Use Case | CDN |
221
221
  |--------|------|----------|-----|
222
- | **bsv-ecies.min.js** | 79KB | Encryption | `unpkg.com/@smartledger/bsv@8.1.0/bsv-ecies.min.js` |
223
- | **bsv-message.min.js** | 30KB | Message signing | `unpkg.com/@smartledger/bsv@8.1.0/bsv-message.min.js` |
224
- | **bsv-mnemonic.min.js** | 592KB | HD wallets | `unpkg.com/@smartledger/bsv@8.1.0/bsv-mnemonic.min.js` |
222
+ | **bsv-ecies.min.js** | 79KB | Encryption | `unpkg.com/@smartledger/bsv@8.2.0/bsv-ecies.min.js` |
223
+ | **bsv-message.min.js** | 30KB | Message signing | `unpkg.com/@smartledger/bsv@8.2.0/bsv-message.min.js` |
224
+ | **bsv-mnemonic.min.js** | 592KB | HD wallets | `unpkg.com/@smartledger/bsv@8.2.0/bsv-mnemonic.min.js` |
225
225
 
226
226
  ## ⚡ **2-Minute Quick Start**
227
227
 
@@ -232,7 +232,7 @@ Get started with Bitcoin SV development in under 2 minutes:
232
232
  npm install @smartledger/bsv
233
233
 
234
234
  # Or include in HTML
235
- <script src="https://unpkg.com/@smartledger/bsv@8.1.0/bsv.min.js"></script>
235
+ <script src="https://unpkg.com/@smartledger/bsv@8.2.0/bsv.min.js"></script>
236
236
  ```
237
237
 
238
238
  > **🔒 v5.0.0 (production hardening — has breaking changes):** Shamir secret
@@ -332,8 +332,8 @@ const covenant = bsv.SmartContract.createCovenantBuilder()
332
332
 
333
333
  ### 🔧 **Basic Development** (~1.2MB total)
334
334
  ```html
335
- <script src="https://unpkg.com/@smartledger/bsv@8.1.0/bsv.min.js"></script>
336
- <script src="https://unpkg.com/@smartledger/bsv@8.1.0/bsv-script-helper.min.js"></script>
335
+ <script src="https://unpkg.com/@smartledger/bsv@8.2.0/bsv.min.js"></script>
336
+ <script src="https://unpkg.com/@smartledger/bsv@8.2.0/bsv-script-helper.min.js"></script>
337
337
  <script>
338
338
  const privateKey = new bsv.PrivateKey();
339
339
  const utxos = new bsv.SmartContract.UTXOGenerator().createRealUTXOs(2, 100000);
@@ -342,9 +342,9 @@ const covenant = bsv.SmartContract.createCovenantBuilder()
342
342
 
343
343
  ### 🔒 **Smart Contract Development** (~2.8MB total — each bundle re-embeds core BSV)
344
344
  ```html
345
- <script src="https://unpkg.com/@smartledger/bsv@8.1.0/bsv.min.js"></script>
346
- <script src="https://unpkg.com/@smartledger/bsv@8.1.0/bsv-covenant.min.js"></script>
347
- <script src="https://unpkg.com/@smartledger/bsv@8.1.0/bsv-smartcontract.min.js"></script>
345
+ <script src="https://unpkg.com/@smartledger/bsv@8.2.0/bsv.min.js"></script>
346
+ <script src="https://unpkg.com/@smartledger/bsv@8.2.0/bsv-covenant.min.js"></script>
347
+ <script src="https://unpkg.com/@smartledger/bsv@8.2.0/bsv-smartcontract.min.js"></script>
348
348
  <script>
349
349
  const covenant = bsv.SmartContract.createCovenantBuilder()
350
350
  .extractField('amount').push(50000).greaterThanOrEqual().verify().build();
@@ -354,9 +354,9 @@ const covenant = bsv.SmartContract.createCovenantBuilder()
354
354
 
355
355
  ### 🆕 **Legal & Identity Development** (~3.4MB total — each bundle re-embeds core BSV)
356
356
  ```html
357
- <script src="https://unpkg.com/@smartledger/bsv@8.1.0/bsv.min.js"></script>
358
- <script src="https://unpkg.com/@smartledger/bsv@8.1.0/bsv-ltp.min.js"></script>
359
- <script src="https://unpkg.com/@smartledger/bsv@8.1.0/bsv-gdaf.min.js"></script>
357
+ <script src="https://unpkg.com/@smartledger/bsv@8.2.0/bsv.min.js"></script>
358
+ <script src="https://unpkg.com/@smartledger/bsv@8.2.0/bsv-ltp.min.js"></script>
359
+ <script src="https://unpkg.com/@smartledger/bsv@8.2.0/bsv-gdaf.min.js"></script>
360
360
  <script>
361
361
  // Legal Token Protocol
362
362
  const propertyToken = bsv.createPropertyToken({
@@ -370,9 +370,9 @@ const covenant = bsv.SmartContract.createCovenantBuilder()
370
370
 
371
371
  ### 🆕 **Security & Cryptography** (~1.5MB total)
372
372
  ```html
373
- <script src="https://unpkg.com/@smartledger/bsv@8.1.0/bsv.min.js"></script>
374
- <script src="https://unpkg.com/@smartledger/bsv@8.1.0/bsv-security.min.js"></script>
375
- <script src="https://unpkg.com/@smartledger/bsv@8.1.0/bsv-shamir.min.js"></script>
373
+ <script src="https://unpkg.com/@smartledger/bsv@8.2.0/bsv.min.js"></script>
374
+ <script src="https://unpkg.com/@smartledger/bsv@8.2.0/bsv-security.min.js"></script>
375
+ <script src="https://unpkg.com/@smartledger/bsv@8.2.0/bsv-shamir.min.js"></script>
376
376
  <script>
377
377
  // Threshold Cryptography
378
378
  const shares = bsv.splitSecret('my_secret_key', 5, 3); // 5 shares, 3 needed
@@ -384,7 +384,7 @@ const covenant = bsv.SmartContract.createCovenantBuilder()
384
384
 
385
385
  ### 🎯 **Everything Bundle** (~1.1MB)
386
386
  ```html
387
- <script src="https://unpkg.com/@smartledger/bsv@8.1.0/bsv.bundle.js"></script>
387
+ <script src="https://unpkg.com/@smartledger/bsv@8.2.0/bsv.bundle.js"></script>
388
388
  <script>
389
389
  // Everything available immediately
390
390
  const shares = bsv.splitSecret('secret', 5, 3); // Shamir Secret Sharing
@@ -494,8 +494,8 @@ const contractTx = covenant.createCovenantTransaction({
494
494
 
495
495
  #### 1. **Minimal Setup** - Core + Script Helper (~1.2MB)
496
496
  ```html
497
- <script src="https://unpkg.com/@smartledger/bsv@8.1.0/bsv.min.js"></script>
498
- <script src="https://unpkg.com/@smartledger/bsv@8.1.0/bsv-script-helper.min.js"></script>
497
+ <script src="https://unpkg.com/@smartledger/bsv@8.2.0/bsv.min.js"></script>
498
+ <script src="https://unpkg.com/@smartledger/bsv@8.2.0/bsv-script-helper.min.js"></script>
499
499
  <script>
500
500
  const tx = new bsv.Transaction();
501
501
  const sig = bsvScriptHelper.createSignature(tx, privateKey, 0, script, satoshis);
@@ -504,9 +504,9 @@ const contractTx = covenant.createCovenantTransaction({
504
504
 
505
505
  #### 2. **DeFi Development** - Core + Covenants + Debug (~2.8MB — each bundle re-embeds core BSV)
506
506
  ```html
507
- <script src="https://unpkg.com/@smartledger/bsv@8.1.0/bsv.min.js"></script>
508
- <script src="https://unpkg.com/@smartledger/bsv@8.1.0/bsv-covenant.min.js"></script>
509
- <script src="https://unpkg.com/@smartledger/bsv@8.1.0/bsv-smartcontract.min.js"></script>
507
+ <script src="https://unpkg.com/@smartledger/bsv@8.2.0/bsv.min.js"></script>
508
+ <script src="https://unpkg.com/@smartledger/bsv@8.2.0/bsv-covenant.min.js"></script>
509
+ <script src="https://unpkg.com/@smartledger/bsv@8.2.0/bsv-smartcontract.min.js"></script>
510
510
  <script>
511
511
  const covenant = new bsvCovenant.CovenantInterface();
512
512
  const debugInfo = SmartContract.interpretScript(script);
@@ -516,8 +516,8 @@ const contractTx = covenant.createCovenantTransaction({
516
516
 
517
517
  #### 3. **Security First** - Core + Enhanced Security (~1.2MB)
518
518
  ```html
519
- <script src="https://unpkg.com/@smartledger/bsv@8.1.0/bsv.min.js"></script>
520
- <script src="https://unpkg.com/@smartledger/bsv@8.1.0/bsv-security.min.js"></script>
519
+ <script src="https://unpkg.com/@smartledger/bsv@8.2.0/bsv.min.js"></script>
520
+ <script src="https://unpkg.com/@smartledger/bsv@8.2.0/bsv-security.min.js"></script>
521
521
  <script>
522
522
  const verified = bsvSecurity.SmartVerify.verify(signature, hash, publicKey);
523
523
  const enhanced = bsvSecurity.EllipticFixed.createSignature(privateKey, hash);
@@ -526,7 +526,7 @@ const contractTx = covenant.createCovenantTransaction({
526
526
 
527
527
  #### 4. **Everything Bundle** - One File Solution (~1.1MB)
528
528
  ```html
529
- <script src="https://unpkg.com/@smartledger/bsv@8.1.0/bsv.bundle.js"></script>
529
+ <script src="https://unpkg.com/@smartledger/bsv@8.2.0/bsv.bundle.js"></script>
530
530
  <script>
531
531
  // Everything available under bsv namespace
532
532
  const keys = bsv.SmartLedgerBundle.generateKeys();
@@ -834,7 +834,7 @@ const timelockScript = helper.createTimelockScript(
834
834
 
835
835
  See the **[16 Loading Options](#-16-loading-options---choose-your-approach)**
836
836
  table near the top for the full list of bundles with current sizes and
837
- canonical `unpkg.com/@smartledger/bsv@8.1.0/...` URLs.
837
+ canonical `unpkg.com/@smartledger/bsv@8.2.0/...` URLs.
838
838
 
839
839
  ## 🔐 Security
840
840