@7h3/protocol 0.1.2 → 0.5.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 (276) hide show
  1. package/.dockerignore +19 -0
  2. package/.github/dependabot.yml +32 -0
  3. package/.github/workflows/ci.yml +31 -0
  4. package/.github/workflows/publish.yml +59 -0
  5. package/.github/workflows/scorecard.yml +37 -0
  6. package/7h3.example.yaml +125 -0
  7. package/CHANGELOG.md +152 -0
  8. package/CONTRIBUTING.md +82 -0
  9. package/Dockerfile +73 -0
  10. package/GOVERNANCE.md +62 -0
  11. package/README.md +1317 -6
  12. package/SECURITY.md +70 -0
  13. package/bench-results/replay-cache-full-1777891033256.json +10 -0
  14. package/bench-results/replay-cache-full-1777896317488.json +10 -0
  15. package/bench-results/replay-cache-full-1777900993184.json +10 -0
  16. package/bench-results/replay-cache-full-1777901019285.json +10 -0
  17. package/bench-results/replay-cache-quick-1777870170126.json +10 -0
  18. package/bench-results/signature-profiles-quick-1775875160079.json +85 -0
  19. package/bench-results/signature-profiles-quick-1775983539716.json +85 -0
  20. package/bench-results/signature-profiles-quick-1776237913190.json +85 -0
  21. package/bench-results/wire-codecs-full-1777891019803.json +93 -0
  22. package/bench-results/wire-codecs-full-1777896260964.json +93 -0
  23. package/bench-results/wire-codecs-full-1777901004247.json +93 -0
  24. package/bench-results/wire-codecs-quick-1775972879056.json +93 -0
  25. package/bench-results/wire-codecs-quick-1775983541111.json +93 -0
  26. package/bench-results/wire-codecs-quick-1776237914299.json +93 -0
  27. package/bench-results/wire-codecs-quick-1777841285236.json +93 -0
  28. package/bench-results/wire-codecs-quick-1777841321772.json +93 -0
  29. package/bench-results/wire-codecs-quick-1777841330408.json +93 -0
  30. package/bench-results/wire-codecs-quick-1777852886082.json +93 -0
  31. package/bench-results/wire-codecs-quick-1777852988773.json +93 -0
  32. package/bench-results/wire-codecs-quick-1777870188095.json +93 -0
  33. package/bench-results/wire-codecs-quick-1777870263918.json +93 -0
  34. package/bench-results/wire-codecs-quick-1777870455034.json +93 -0
  35. package/bench-results/wire-codecs-quick-1778816163081.json +93 -0
  36. package/bench-results/wire-codecs-quick-1778843936130.json +93 -0
  37. package/bin/7h3.ts +406 -0
  38. package/conformance/7h3_v0_1.json +77 -0
  39. package/conformance/7h3_v0_1_binary.json +20 -0
  40. package/conformance/aip_v0_1_binary.json +20 -0
  41. package/docker-compose.yaml +77 -0
  42. package/docs/ADOPTION_PLAN.md +120 -0
  43. package/docs/AGENTS.md +77 -0
  44. package/docs/AIP_RFC_v0.1.md +97 -0
  45. package/docs/AI_DECISION_CARD.md +122 -0
  46. package/docs/AI_RUNTIME_POLICY.json +126 -0
  47. package/docs/AI_RUNTIME_POLICY.yaml +110 -0
  48. package/docs/BACKPRESSURE_TUNING.md +65 -0
  49. package/docs/BENCHMARK_CLAIM_MATRIX.md +42 -0
  50. package/docs/BENCHMARK_REPORT_TEMPLATE.md +169 -0
  51. package/docs/BINARY_CODEC_BENCH.md +23 -0
  52. package/docs/CLEAN_CLONE_RUNBOOK.md +36 -0
  53. package/docs/CLOCK_SKEW_POLICY.md +30 -0
  54. package/docs/DISTRIBUTED_REPLAY.md +142 -0
  55. package/docs/FUZZ_CAMPAIGN.md +121 -0
  56. package/docs/GATEWAY.md +195 -0
  57. package/docs/KEY_MANAGEMENT_POLICY.md +53 -0
  58. package/docs/KEY_REVOCATION.md +69 -0
  59. package/docs/MCP_WRAPPER.md +159 -0
  60. package/docs/MIGRATION_GUIDE.md +40 -0
  61. package/docs/OPERATORS.md +184 -0
  62. package/docs/PERF_REGRESSION_POLICY.md +34 -0
  63. package/docs/PROJECT_EXAMINATION_2026-05-31.md +219 -0
  64. package/docs/RELEASE_BENCHMARK_REPORT_2026-05-15.md +135 -0
  65. package/docs/RELEASE_GATE.md +25 -0
  66. package/docs/RELEASE_NOTES_v0.1.0.md +54 -0
  67. package/docs/SECURITY_REVIEW_2026-06-05.md +165 -0
  68. package/docs/TELEMETRY.md +41 -0
  69. package/docs/THREAT_MODEL.md +89 -0
  70. package/docs/VERSIONING_POLICY.md +30 -0
  71. package/docs/assets/banner-github.png +0 -0
  72. package/docs/assets/banner.png +0 -0
  73. package/docs/assets/banner.svg +123 -0
  74. package/eslint.config.js +15 -0
  75. package/fuzz/ts/harness-decode.ts +136 -0
  76. package/fuzz/ts/harness-verify.ts +121 -0
  77. package/fuzz/ts/run.ts +35 -0
  78. package/mcp-server/README.md +38 -0
  79. package/mcp-server/package-lock.json +1187 -0
  80. package/mcp-server/package.json +35 -0
  81. package/mcp-server/src/index.ts +236 -0
  82. package/mcp-server/tsconfig.json +14 -0
  83. package/package.json +121 -13
  84. package/scripts/aip-framework-quickstart.ts +110 -0
  85. package/scripts/aip-mcp-gateway.ts +38 -0
  86. package/scripts/aip-mcp-wrap-demo.ts +72 -0
  87. package/scripts/aip-quickstart.ts +60 -0
  88. package/scripts/bench-diff.ts +118 -0
  89. package/scripts/bench-protocol-e2e.ts +937 -0
  90. package/scripts/bench-protocol-openloop.ts +1397 -0
  91. package/scripts/bench-replay-cache.ts +76 -0
  92. package/scripts/bench-signature-profiles.ts +180 -0
  93. package/scripts/bench-wire-codecs.ts +161 -0
  94. package/scripts/build-binary-conformance.ts +36 -0
  95. package/scripts/build-release-dashboard.ts +175 -0
  96. package/scripts/canary-rollout.ts +38 -0
  97. package/scripts/mcpGatewayCli.test.ts +116 -0
  98. package/scripts/prepare-aip-package.ts +88 -0
  99. package/scripts/regen-conformance-sigs.ts +18 -0
  100. package/scripts/release-gate.ts +19 -0
  101. package/scripts/validate-runtime-policy.ts +18 -0
  102. package/sdk/browser/index.test.ts +162 -0
  103. package/sdk/browser/index.ts +257 -0
  104. package/sdk/browser/package.json +13 -0
  105. package/sdk/go/cbor.go +551 -0
  106. package/sdk/go/cbor_test.go +232 -0
  107. package/sdk/go/encryption.go +280 -0
  108. package/sdk/go/encryption_test.go +318 -0
  109. package/sdk/go/go.mod +7 -0
  110. package/sdk/go/go.sum +4 -0
  111. package/sdk/go/http.go +135 -0
  112. package/sdk/go/protocol.go +324 -0
  113. package/sdk/go/protocol_test.go +334 -0
  114. package/sdk/go/replay.go +121 -0
  115. package/sdk/go/replay_test.go +149 -0
  116. package/sdk/go/webhook.go +136 -0
  117. package/sdk/pq/package-lock.json +1358 -0
  118. package/sdk/pq/package.json +42 -0
  119. package/sdk/pq/src/index.test.ts +143 -0
  120. package/sdk/pq/src/index.ts +166 -0
  121. package/sdk/pq/tsconfig.json +14 -0
  122. package/sdk/pq/vitest.config.ts +7 -0
  123. package/sdk/python/README.md +18 -0
  124. package/sdk/python/protocol_7h3/__init__.py +46 -0
  125. package/sdk/python/protocol_7h3/encryption.py +252 -0
  126. package/sdk/python/protocol_7h3/http.py +212 -0
  127. package/sdk/python/protocol_7h3/keys.py +149 -0
  128. package/sdk/python/protocol_7h3/pq.py +244 -0
  129. package/sdk/python/protocol_7h3/protocol.py +525 -0
  130. package/sdk/python/protocol_7h3/queue.py +118 -0
  131. package/sdk/python/protocol_7h3/replay.py +98 -0
  132. package/sdk/python/protocol_7h3/webhook.py +116 -0
  133. package/sdk/python/pyproject.toml +40 -0
  134. package/sdk/python/tests/test_conformance.py +110 -0
  135. package/sdk/python/tests/test_encryption.py +206 -0
  136. package/sdk/python/tests/test_http.py +305 -0
  137. package/sdk/python/tests/test_keys.py +417 -0
  138. package/sdk/python/tests/test_queue.py +120 -0
  139. package/sdk/python/tests/test_webhook.py +345 -0
  140. package/sdk/rust/Cargo.lock +371 -0
  141. package/sdk/rust/Cargo.toml +25 -0
  142. package/sdk/rust/README.md +31 -0
  143. package/sdk/rust/fuzz/Cargo.toml +29 -0
  144. package/sdk/rust/fuzz/fuzz_targets/fuzz_canonicalize.rs +46 -0
  145. package/sdk/rust/fuzz/fuzz_targets/fuzz_decode.rs +11 -0
  146. package/sdk/rust/src/bin/aip_mcp_gateway.rs +59 -0
  147. package/sdk/rust/src/http.rs +145 -0
  148. package/sdk/rust/src/keys.rs +161 -0
  149. package/sdk/rust/src/lib.rs +688 -0
  150. package/sdk/rust/src/queue.rs +79 -0
  151. package/sdk/rust/src/webhook.rs +86 -0
  152. package/sdk/rust/tests/conformance.rs +148 -0
  153. package/sdk/rust/tests/gateway.rs +130 -0
  154. package/sdk/rust/tests/http_webhook_queue.rs +201 -0
  155. package/sdk/rust/tests/keys.rs +189 -0
  156. package/sdk/threshold/index.d.ts +68 -0
  157. package/sdk/threshold/index.d.ts.map +1 -0
  158. package/sdk/threshold/index.js +254 -0
  159. package/sdk/threshold/package-lock.json +1361 -0
  160. package/sdk/threshold/package.json +39 -0
  161. package/sdk/threshold/src/index.d.ts +68 -0
  162. package/sdk/threshold/src/index.d.ts.map +1 -0
  163. package/sdk/threshold/src/index.js +254 -0
  164. package/sdk/threshold/src/index.test.ts +238 -0
  165. package/sdk/threshold/src/index.ts +355 -0
  166. package/sdk/threshold/tsconfig.json +19 -0
  167. package/sdk/threshold/vitest.config.ts +12 -0
  168. package/src/agentAdapter.test.ts +48 -0
  169. package/src/agentAdapter.ts +56 -0
  170. package/src/auditLog.test.ts +145 -0
  171. package/src/auditLog.ts +147 -0
  172. package/src/capability.test.ts +504 -0
  173. package/src/capability.ts +380 -0
  174. package/src/cborCodec.test.ts +263 -0
  175. package/src/cborCodec.ts +339 -0
  176. package/src/conformance.test.ts +136 -0
  177. package/src/conformanceVectors.ts +99 -0
  178. package/src/encryption.test.ts +206 -0
  179. package/src/encryption.ts +245 -0
  180. package/src/envelopeCbor.ts +140 -0
  181. package/src/frameworkAdapters.test.ts +290 -0
  182. package/src/frameworkAdapters.ts +261 -0
  183. package/src/gateway.test.ts +343 -0
  184. package/src/gateway.ts +246 -0
  185. package/src/grpcBinding.test.ts +211 -0
  186. package/src/grpcBinding.ts +103 -0
  187. package/src/httpBinding.test.ts +376 -0
  188. package/src/httpBinding.ts +189 -0
  189. package/src/index.ts +39 -0
  190. package/src/keyInfra.test.ts +278 -0
  191. package/src/keyInfra.ts +228 -0
  192. package/src/keyRegistry.ts +59 -0
  193. package/src/keyRotation.test.ts +78 -0
  194. package/src/keyRotation.ts +72 -0
  195. package/src/mcpGateway.test.ts +129 -0
  196. package/src/mcpGateway.ts +250 -0
  197. package/src/mcpTransports.test.ts +92 -0
  198. package/src/mcpTransports.ts +169 -0
  199. package/src/mcpWrapper.test.ts +179 -0
  200. package/src/mcpWrapper.ts +206 -0
  201. package/src/otel.ts +136 -0
  202. package/src/policyEnforcer.test.ts +99 -0
  203. package/src/policyEnforcer.ts +169 -0
  204. package/src/policyTelemetryFeedback.test.ts +25 -0
  205. package/src/policyTelemetryFeedback.ts +38 -0
  206. package/src/protocol.bench.ts +37 -0
  207. package/{protocol.d.ts → src/protocol.d.ts} +2 -1
  208. package/src/protocol.d.ts.map +1 -0
  209. package/src/protocol.js +294 -0
  210. package/src/protocol.test.ts +155 -0
  211. package/src/protocol.ts +414 -0
  212. package/src/protocolAgent.test.ts +105 -0
  213. package/src/protocolAgent.ts +169 -0
  214. package/src/protocolBinary.test.ts +165 -0
  215. package/src/protocolBinary.ts +312 -0
  216. package/src/protocolCapabilities.ts +70 -0
  217. package/src/protocolFuzz.advanced.test.ts +235 -0
  218. package/src/protocolFuzz.test.ts +111 -0
  219. package/src/protocolNegative.test.ts +97 -0
  220. package/src/protocolReplay.test.ts +71 -0
  221. package/src/protocolReplay.ts +194 -0
  222. package/src/protocolTransport.test.ts +556 -0
  223. package/src/protocolTransport.ts +483 -0
  224. package/src/queueBinding.test.ts +130 -0
  225. package/src/queueBinding.ts +102 -0
  226. package/src/rateLimiter.test.ts +96 -0
  227. package/src/rateLimiter.ts +46 -0
  228. package/src/redisClient.ts +140 -0
  229. package/src/redisIntegration.test.ts +134 -0
  230. package/src/replayStores.test.ts +273 -0
  231. package/src/replayStores.ts +215 -0
  232. package/src/revocation.test.ts +98 -0
  233. package/src/revocation.ts +0 -0
  234. package/src/routePolicy.test.ts +87 -0
  235. package/src/routePolicy.ts +72 -0
  236. package/src/runtimePolicy.test.ts +49 -0
  237. package/src/runtimePolicy.ts +81 -0
  238. package/src/runtimePolicyManager.test.ts +29 -0
  239. package/src/runtimePolicyManager.ts +50 -0
  240. package/src/runtimePolicyPresets.ts +43 -0
  241. package/src/signedResponse.test.ts +111 -0
  242. package/src/signedResponse.ts +83 -0
  243. package/src/stream.test.ts +254 -0
  244. package/src/stream.ts +417 -0
  245. package/src/telemetry.test.ts +251 -0
  246. package/src/telemetry.ts +299 -0
  247. package/src/webhookBinding.test.ts +144 -0
  248. package/src/webhookBinding.ts +115 -0
  249. package/src/wsBinding.test.ts +221 -0
  250. package/src/wsBinding.ts +200 -0
  251. package/tsconfig.json +15 -0
  252. package/tsconfig.lib.json +23 -0
  253. package/vite.lib.config.ts +16 -0
  254. package/vitest.config.ts +11 -0
  255. package/agentAdapter.d.ts +0 -26
  256. package/conformanceVectors.d.ts +0 -20
  257. package/frameworkAdapters.d.ts +0 -72
  258. package/index.d.ts +0 -20
  259. package/index.js +0 -1702
  260. package/keyRotation.d.ts +0 -20
  261. package/mcpGateway.d.ts +0 -37
  262. package/mcpTransports.d.ts +0 -62
  263. package/mcpWrapper.d.ts +0 -83
  264. package/policyEnforcer.d.ts +0 -50
  265. package/policyTelemetryFeedback.d.ts +0 -11
  266. package/protocolAgent.d.ts +0 -58
  267. package/protocolBinary.d.ts +0 -8
  268. package/protocolCapabilities.d.ts +0 -24
  269. package/protocolReplay.d.ts +0 -35
  270. package/protocolTransport.d.ts +0 -73
  271. package/redisClient.d.ts +0 -49
  272. package/replayStores.d.ts +0 -32
  273. package/revocation.d.ts +0 -71
  274. package/runtimePolicy.d.ts +0 -24
  275. package/runtimePolicyManager.d.ts +0 -15
  276. package/runtimePolicyPresets.d.ts +0 -11
@@ -0,0 +1,355 @@
1
+ import { bls12_381 } from '@noble/curves/bls12-381'
2
+
3
+ // ─── Protocol Types (re-declared for standalone build; canonical source: @7h3/protocol) ──
4
+
5
+ export interface ProtocolHeader {
6
+ version: string
7
+ messageId: string
8
+ timestampMs: number
9
+ ttlMs: number
10
+ sender: string
11
+ recipient?: string
12
+ nonce: string
13
+ }
14
+
15
+ export interface ProtocolBody {
16
+ intent: string
17
+ content: string
18
+ capability?: string
19
+ correlationId?: string
20
+ }
21
+
22
+ export interface ProtocolEnvelope {
23
+ header: ProtocolHeader
24
+ body: ProtocolBody
25
+ }
26
+
27
+ // ─── BLS Types ───────────────────────────────────────────────────────────────
28
+
29
+ export interface BlsKeyPair {
30
+ publicKey: string // G1 point, 48 bytes, base64url
31
+ privateKey: string // scalar, 32 bytes, base64url
32
+ }
33
+
34
+ export interface ThresholdConfig {
35
+ m: number // minimum signers required
36
+ n: number // total participants
37
+ }
38
+
39
+ export interface ThresholdSignature {
40
+ alg: 'BLS-G2-2'
41
+ keyId: string // aggregated public key fingerprint (base64url of first 16 bytes)
42
+ value: string // aggregated signature (base64url, G2 point 96 bytes)
43
+ signerIds: string[] // which participants signed
44
+ threshold: ThresholdConfig
45
+ }
46
+
47
+ export interface ThresholdEnvelope extends ProtocolEnvelope {
48
+ thresholdSignature: ThresholdSignature
49
+ }
50
+
51
+ // ─── Helpers ─────────────────────────────────────────────────────────────────
52
+
53
+ function toBase64Url(bytes: Uint8Array): string {
54
+ const base64 = Buffer.from(bytes).toString('base64')
55
+ return base64.replace(/\+/g, '-').replace(/\//g, '_').replace(/=+$/g, '')
56
+ }
57
+
58
+ function fromBase64Url(value: string): Uint8Array {
59
+ const padded = value
60
+ .replace(/-/g, '+')
61
+ .replace(/_/g, '/')
62
+ .padEnd(Math.ceil(value.length / 4) * 4, '=')
63
+ return new Uint8Array(Buffer.from(padded, 'base64'))
64
+ }
65
+
66
+ async function sha256(data: string): Promise<Uint8Array> {
67
+ const encoder = new TextEncoder()
68
+ const buf = await crypto.subtle.digest('SHA-256', encoder.encode(data))
69
+ return new Uint8Array(buf)
70
+ }
71
+
72
+ /**
73
+ * Canonical serialization of a protocol envelope for signing.
74
+ * Must match the canonical format in @7h3/protocol.
75
+ */
76
+ export function canonicalizeEnvelopeForBls(envelope: ProtocolEnvelope): string {
77
+ const h = envelope.header
78
+ const b = envelope.body
79
+
80
+ const headerParts: string[] = [
81
+ `"messageId":${JSON.stringify(h.messageId)}`,
82
+ `"nonce":${JSON.stringify(h.nonce)}`,
83
+ ]
84
+ if (h.recipient !== undefined) {
85
+ headerParts.push(`"recipient":${JSON.stringify(h.recipient)}`)
86
+ }
87
+ headerParts.push(`"sender":${JSON.stringify(h.sender)}`)
88
+ headerParts.push(`"timestampMs":${h.timestampMs}`)
89
+ headerParts.push(`"ttlMs":${h.ttlMs}`)
90
+ headerParts.push(`"version":${JSON.stringify(h.version)}`)
91
+ const headerStr = `{${headerParts.join(',')}}`
92
+
93
+ const bodyParts: string[] = []
94
+ if (b.capability !== undefined) bodyParts.push(`"capability":${JSON.stringify(b.capability)}`)
95
+ bodyParts.push(`"content":${JSON.stringify(b.content)}`)
96
+ if (b.correlationId !== undefined) bodyParts.push(`"correlationId":${JSON.stringify(b.correlationId)}`)
97
+ bodyParts.push(`"intent":${JSON.stringify(b.intent)}`)
98
+ const bodyStr = `{${bodyParts.join(',')}}`
99
+
100
+ return `{"body":${bodyStr},"header":${headerStr}}`
101
+ }
102
+
103
+ // ─── Key Generation ──────────────────────────────────────────────────────────
104
+
105
+ export function generateBlsKeyPair(): BlsKeyPair {
106
+ const privateKeyBytes = bls12_381.utils.randomPrivateKey()
107
+ const publicKeyBytes = bls12_381.getPublicKey(privateKeyBytes)
108
+ return {
109
+ publicKey: toBase64Url(publicKeyBytes),
110
+ privateKey: toBase64Url(privateKeyBytes),
111
+ }
112
+ }
113
+
114
+ // ─── Partial Signing ─────────────────────────────────────────────────────────
115
+
116
+ export async function signEnvelopeBls(
117
+ envelope: ProtocolEnvelope,
118
+ privateKeyBase64Url: string,
119
+ signerId: string,
120
+ ): Promise<{ signerId: string; partialSig: string; canonicalHash: string }> {
121
+ const canonical = canonicalizeEnvelopeForBls(envelope)
122
+ const msgHash = await sha256(canonical)
123
+ const privateKeyBytes = fromBase64Url(privateKeyBase64Url)
124
+ // BLS sign: signature is a G2 point (96 bytes)
125
+ const sigBytes = bls12_381.sign(msgHash, privateKeyBytes)
126
+ return {
127
+ signerId,
128
+ partialSig: toBase64Url(sigBytes),
129
+ canonicalHash: toBase64Url(msgHash),
130
+ }
131
+ }
132
+
133
+ // ─── Aggregation ─────────────────────────────────────────────────────────────
134
+
135
+ export async function aggregateSignatures(
136
+ partialSigs: Array<{ signerId: string; partialSig: string }>,
137
+ publicKeys: Record<string, string>, // signerId → BLS public key (base64url)
138
+ envelope: ProtocolEnvelope,
139
+ config: ThresholdConfig,
140
+ ): Promise<ThresholdEnvelope> {
141
+ if (partialSigs.length < config.m) {
142
+ throw new Error(
143
+ `Threshold not met: need ${config.m} signatures, got ${partialSigs.length}`,
144
+ )
145
+ }
146
+
147
+ // Use exactly m signatures (first m)
148
+ const selected = partialSigs.slice(0, config.m)
149
+
150
+ const signerIds = selected.map((s) => s.signerId)
151
+ const sigBytesArr = selected.map((s) => fromBase64Url(s.partialSig))
152
+ const pubKeyBytesArr = signerIds.map((id) => {
153
+ const pk = publicKeys[id]
154
+ if (!pk) throw new Error(`Missing public key for signer: ${id}`)
155
+ return fromBase64Url(pk)
156
+ })
157
+
158
+ const aggregatedSig = bls12_381.aggregateSignatures(sigBytesArr)
159
+ const aggregatedPubKey = bls12_381.aggregatePublicKeys(pubKeyBytesArr)
160
+
161
+ // Fingerprint: first 16 bytes of aggregated pubkey as base64url
162
+ const keyId = toBase64Url(aggregatedPubKey.slice(0, 16))
163
+
164
+ return {
165
+ ...envelope,
166
+ thresholdSignature: {
167
+ alg: 'BLS-G2-2',
168
+ keyId,
169
+ value: toBase64Url(aggregatedSig),
170
+ signerIds,
171
+ threshold: config,
172
+ },
173
+ }
174
+ }
175
+
176
+ // ─── Verification ────────────────────────────────────────────────────────────
177
+
178
+ export async function verifyThresholdEnvelope(
179
+ envelope: ThresholdEnvelope,
180
+ participantPublicKeys: Record<string, string>,
181
+ config: ThresholdConfig,
182
+ ): Promise<boolean> {
183
+ try {
184
+ const { thresholdSignature } = envelope
185
+ if (!thresholdSignature) return false
186
+ if (thresholdSignature.alg !== 'BLS-G2-2') return false
187
+ if (thresholdSignature.signerIds.length < config.m) return false
188
+
189
+ const canonical = canonicalizeEnvelopeForBls({
190
+ header: envelope.header,
191
+ body: envelope.body,
192
+ })
193
+ const msgHash = await sha256(canonical)
194
+
195
+ const signerIds = thresholdSignature.signerIds
196
+ const pubKeyBytesArr = signerIds.map((id) => {
197
+ const pk = participantPublicKeys[id]
198
+ if (!pk) throw new Error(`Missing public key for signer: ${id}`)
199
+ return fromBase64Url(pk)
200
+ })
201
+
202
+ const aggregatedPubKey = bls12_381.aggregatePublicKeys(pubKeyBytesArr)
203
+ const sigBytes = fromBase64Url(thresholdSignature.value)
204
+
205
+ return bls12_381.verify(sigBytes, msgHash, aggregatedPubKey)
206
+ } catch {
207
+ return false
208
+ }
209
+ }
210
+
211
+ // ─── Shamir Secret Sharing ───────────────────────────────────────────────────
212
+ // Operates over the BLS12-381 scalar field (Fr), prime order r.
213
+
214
+ // BLS12-381 scalar field order r
215
+ const FIELD_ORDER = BigInt(
216
+ '0x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000001',
217
+ )
218
+
219
+ function fieldMod(n: bigint): bigint {
220
+ return ((n % FIELD_ORDER) + FIELD_ORDER) % FIELD_ORDER
221
+ }
222
+
223
+ function fieldAdd(a: bigint, b: bigint): bigint {
224
+ return fieldMod(a + b)
225
+ }
226
+
227
+ function fieldMul(a: bigint, b: bigint): bigint {
228
+ return fieldMod(a * b)
229
+ }
230
+
231
+ // Modular inverse via Fermat's little theorem (field is prime order)
232
+ function fieldInv(a: bigint): bigint {
233
+ if (a === 0n) throw new Error('Cannot invert zero')
234
+ return fieldPow(a, FIELD_ORDER - 2n)
235
+ }
236
+
237
+ function fieldPow(base: bigint, exp: bigint): bigint {
238
+ let result = 1n
239
+ base = fieldMod(base)
240
+ while (exp > 0n) {
241
+ if (exp & 1n) result = fieldMul(result, base)
242
+ base = fieldMul(base, base)
243
+ exp >>= 1n
244
+ }
245
+ return result
246
+ }
247
+
248
+ function bigintToBytes32(n: bigint): Uint8Array {
249
+ const hex = n.toString(16).padStart(64, '0')
250
+ const bytes = new Uint8Array(32)
251
+ for (let i = 0; i < 32; i++) {
252
+ bytes[i] = parseInt(hex.slice(i * 2, i * 2 + 2), 16)
253
+ }
254
+ return bytes
255
+ }
256
+
257
+ function bytes32ToBigint(bytes: Uint8Array): bigint {
258
+ let hex = ''
259
+ for (const b of bytes) {
260
+ hex += b.toString(16).padStart(2, '0')
261
+ }
262
+ return BigInt('0x' + hex)
263
+ }
264
+
265
+ // Generate a cryptographically random field element
266
+ function randomFieldElement(): bigint {
267
+ const bytes = new Uint8Array(32)
268
+ crypto.getRandomValues(bytes)
269
+ return fieldMod(bytes32ToBigint(bytes))
270
+ }
271
+
272
+ /**
273
+ * Split a BLS private key into N shares using Shamir's Secret Sharing.
274
+ * Any M shares can reconstruct the original key.
275
+ * Returns N shares as base64url strings.
276
+ * Share format: 1 byte index (1-based) || 32 bytes value
277
+ */
278
+ export function splitPrivateKey(
279
+ privateKeyBase64Url: string,
280
+ m: number,
281
+ n: number,
282
+ ): string[] {
283
+ if (m < 2 || m > n) throw new Error(`Invalid threshold: m=${m}, n=${n}`)
284
+
285
+ const secretBytes = fromBase64Url(privateKeyBase64Url)
286
+ const secret = fieldMod(bytes32ToBigint(secretBytes))
287
+
288
+ // Build polynomial: f(x) = secret + a1*x + a2*x^2 + ... + a_{m-1}*x^{m-1}
289
+ const coefficients: bigint[] = [secret]
290
+ for (let i = 1; i < m; i++) {
291
+ coefficients.push(randomFieldElement())
292
+ }
293
+
294
+ // Evaluate at x = 1..n
295
+ const shares: string[] = []
296
+ for (let x = 1; x <= n; x++) {
297
+ let y = 0n
298
+ let xPow = 1n
299
+ for (const coeff of coefficients) {
300
+ y = fieldAdd(y, fieldMul(coeff, xPow))
301
+ xPow = fieldMul(xPow, BigInt(x))
302
+ }
303
+ // Encode share: index byte + 32-byte value
304
+ const shareBytes = new Uint8Array(33)
305
+ shareBytes[0] = x
306
+ shareBytes.set(bigintToBytes32(y), 1)
307
+ shares.push(toBase64Url(shareBytes))
308
+ }
309
+
310
+ return shares
311
+ }
312
+
313
+ /**
314
+ * Reconstruct a BLS private key from M or more shares using Lagrange interpolation.
315
+ * @param shares - array of share strings (base64url, at least m of them)
316
+ * @param m - minimum number of shares required (used for validation only)
317
+ */
318
+ export function reconstructPrivateKey(shares: string[], m: number): string {
319
+ if (shares.length < m) {
320
+ throw new Error(`Need at least ${m} shares, got ${shares.length}`)
321
+ }
322
+
323
+ // Decode shares — take exactly m
324
+ const decoded = shares.slice(0, m).map((s) => {
325
+ const bytes = fromBase64Url(s)
326
+ if (bytes.length !== 33) throw new Error('Invalid share format')
327
+ const x = BigInt(bytes[0])
328
+ const y = bytes32ToBigint(bytes.slice(1))
329
+ return { x, y }
330
+ })
331
+
332
+ // Lagrange interpolation at x=0 to recover secret
333
+ let secret = 0n
334
+ for (let i = 0; i < decoded.length; i++) {
335
+ const xi = decoded[i].x
336
+ const yi = decoded[i].y
337
+
338
+ // Compute Lagrange basis polynomial l_i(0)
339
+ let num = 1n
340
+ let den = 1n
341
+ for (let j = 0; j < decoded.length; j++) {
342
+ if (i === j) continue
343
+ const xj = decoded[j].x
344
+ // num *= (0 - xj) = -xj
345
+ num = fieldMul(num, fieldMod(-xj))
346
+ // den *= (xi - xj)
347
+ den = fieldMul(den, fieldMod(xi - xj))
348
+ }
349
+
350
+ const lagrangeBasis = fieldMul(num, fieldInv(den))
351
+ secret = fieldAdd(secret, fieldMul(yi, lagrangeBasis))
352
+ }
353
+
354
+ return toBase64Url(bigintToBytes32(secret))
355
+ }
@@ -0,0 +1,19 @@
1
+ {
2
+ "compilerOptions": {
3
+ "target": "ES2022",
4
+ "module": "ESNext",
5
+ "moduleResolution": "bundler",
6
+ "lib": ["ES2023", "DOM"],
7
+ "types": ["node"],
8
+ "strict": true,
9
+ "skipLibCheck": true,
10
+ "declaration": true,
11
+ "declarationMap": true,
12
+ "outDir": ".",
13
+ "rootDir": "./src",
14
+ "esModuleInterop": true,
15
+ "verbatimModuleSyntax": false
16
+ },
17
+ "include": ["src/index.ts"],
18
+ "exclude": ["src/**/*.test.ts", "node_modules"]
19
+ }
@@ -0,0 +1,12 @@
1
+ import { defineConfig } from 'vitest/config'
2
+
3
+ export default defineConfig({
4
+ test: {
5
+ environment: 'node',
6
+ },
7
+ resolve: {
8
+ alias: {
9
+ '@7h3/protocol': '/tmp/aip-work/src/protocol.ts',
10
+ },
11
+ },
12
+ })
@@ -0,0 +1,48 @@
1
+ import { describe, expect, it } from 'vitest'
2
+ import { createAipAgentAdapter } from './agentAdapter'
3
+ import type { WireEnvelope } from './protocolTransport'
4
+
5
+ describe('AIP agent adapter', () => {
6
+ it('supports raw task request/response flow', async () => {
7
+ const secret = 'adapter-shared-secret'
8
+
9
+ const coordinator = createAipAgentAdapter({
10
+ agentId: 'agent.coordinator',
11
+ outboundSecret: secret,
12
+ sharedSecrets: { 'agent.worker': secret },
13
+ wireFormat: 'compact',
14
+ })
15
+
16
+ const worker = createAipAgentAdapter({
17
+ agentId: 'agent.worker',
18
+ outboundSecret: secret,
19
+ sharedSecrets: { 'agent.coordinator': secret },
20
+ wireFormat: 'compact',
21
+ onTask: async (envelope) => ({
22
+ intent: 'RESULT',
23
+ content: `handled:${envelope.body.content}`,
24
+ capability: envelope.body.capability,
25
+ }),
26
+ })
27
+
28
+ const taskRaw = await coordinator.createRawIntent({
29
+ recipient: 'agent.worker',
30
+ intent: 'TASK',
31
+ content: 'optimize route',
32
+ capability: 'task.plan',
33
+ })
34
+
35
+ let responseRaw: WireEnvelope = ''
36
+ const handled = await worker.handleRaw(taskRaw, async (rawResponse) => {
37
+ responseRaw = rawResponse
38
+ })
39
+
40
+ expect(handled.ok).toBe(true)
41
+ expect(responseRaw.length).toBeGreaterThan(0)
42
+
43
+ const verification = await coordinator.receiveRaw(responseRaw)
44
+ expect(verification.ok).toBe(true)
45
+ expect(verification.received?.body.intent).toBe('RESULT')
46
+ expect(verification.received?.body.content).toContain('handled:optimize route')
47
+ })
48
+ })
@@ -0,0 +1,56 @@
1
+ import { type AgentReceiveResult, type AgentSessionConfig, AgentSession } from './protocolAgent'
2
+ import { type IntentKind, type ProtocolEnvelope } from './protocol'
3
+ import { encodeEnvelope, type WireEnvelope, type WireFormat } from './protocolTransport'
4
+
5
+ export interface AipAdapterConfig extends AgentSessionConfig {
6
+ wireFormat?: WireFormat
7
+ }
8
+
9
+ export class AipAgentAdapter {
10
+ private readonly session: AgentSession
11
+ private readonly wireFormat: WireFormat
12
+
13
+ constructor(config: AipAdapterConfig) {
14
+ this.session = new AgentSession(config)
15
+ this.wireFormat = config.wireFormat ?? 'compact'
16
+ }
17
+
18
+ toRaw(envelope: ProtocolEnvelope): WireEnvelope {
19
+ return encodeEnvelope(envelope, this.wireFormat)
20
+ }
21
+
22
+ async createRawIntent(input: {
23
+ recipient?: string
24
+ intent: IntentKind
25
+ content: string
26
+ capability?: string
27
+ correlationId?: string
28
+ ttlMs?: number
29
+ messageId?: string
30
+ nonce?: string
31
+ nowMs?: number
32
+ }): Promise<WireEnvelope> {
33
+ const envelope = await this.session.createSignedIntent(input)
34
+ return this.toRaw(envelope)
35
+ }
36
+
37
+ async receiveRaw(raw: WireEnvelope, nowMs = Date.now()): Promise<AgentReceiveResult> {
38
+ return this.session.receiveAndRespond(raw, nowMs)
39
+ }
40
+
41
+ async handleRaw(
42
+ raw: WireEnvelope,
43
+ emitResponseRaw: (rawResponse: WireEnvelope, responseEnvelope: ProtocolEnvelope) => void | Promise<void>,
44
+ nowMs = Date.now(),
45
+ ): Promise<AgentReceiveResult> {
46
+ const result = await this.session.receiveAndRespond(raw, nowMs)
47
+ if (result.response) {
48
+ await emitResponseRaw(this.toRaw(result.response), result.response)
49
+ }
50
+ return result
51
+ }
52
+ }
53
+
54
+ export function createAipAgentAdapter(config: AipAdapterConfig): AipAgentAdapter {
55
+ return new AipAgentAdapter(config)
56
+ }
@@ -0,0 +1,145 @@
1
+ import { describe, it, expect, beforeAll } from 'vitest'
2
+ import { createAuditLog, NoopAuditLog, type AuditEntry } from './auditLog'
3
+ import { generateEd25519KeypairBase64Url } from './protocol'
4
+
5
+ let keys: { publicKey: string; privateKey: string }
6
+
7
+ beforeAll(async () => {
8
+ keys = await generateEd25519KeypairBase64Url()
9
+ })
10
+
11
+ describe('InMemoryAuditLog', () => {
12
+ it('logs and queries entries', async () => {
13
+ const log = createAuditLog(keys.privateKey)
14
+ await log.log({ type: 'verify-ok', sender: 'agent-a', path: '/api/test', method: 'GET' })
15
+ await log.log({ type: 'verify-fail', sender: 'agent-b', path: '/api/test', method: 'POST', failReason: 'invalid-signature' })
16
+
17
+ const all = await log.query()
18
+ expect(all).toHaveLength(2)
19
+ expect(log.size()).toBe(2)
20
+ })
21
+
22
+ it('query filters by type', async () => {
23
+ const log = createAuditLog(keys.privateKey)
24
+ await log.log({ type: 'verify-ok', sender: 'alice' })
25
+ await log.log({ type: 'verify-fail', sender: 'bob', failReason: 'expired' })
26
+ await log.log({ type: 'rate-limited', sender: 'alice' })
27
+
28
+ const oks = await log.query({ type: 'verify-ok' })
29
+ expect(oks).toHaveLength(1)
30
+ expect(oks[0].type).toBe('verify-ok')
31
+ })
32
+
33
+ it('query filters by sender', async () => {
34
+ const log = createAuditLog(keys.privateKey)
35
+ await log.log({ type: 'verify-ok', sender: 'alice' })
36
+ await log.log({ type: 'verify-ok', sender: 'bob' })
37
+ await log.log({ type: 'verify-fail', sender: 'alice', failReason: 'expired' })
38
+
39
+ const aliceEntries = await log.query({ sender: 'alice' })
40
+ expect(aliceEntries).toHaveLength(2)
41
+ expect(aliceEntries.every(e => e.sender === 'alice')).toBe(true)
42
+ })
43
+
44
+ it('query filters by since', async () => {
45
+ const log = createAuditLog(keys.privateKey)
46
+ const before = Date.now()
47
+ await log.log({ type: 'verify-ok', sender: 'alice' })
48
+ await new Promise(r => setTimeout(r, 5))
49
+ const mid = Date.now()
50
+ await log.log({ type: 'verify-ok', sender: 'bob' })
51
+
52
+ const recent = await log.query({ since: mid })
53
+ expect(recent).toHaveLength(1)
54
+ expect(recent[0].sender).toBe('bob')
55
+
56
+ const all = await log.query({ since: before - 1 })
57
+ expect(all).toHaveLength(2)
58
+ })
59
+
60
+ it('query respects limit', async () => {
61
+ const log = createAuditLog(keys.privateKey)
62
+ for (let i = 0; i < 5; i++) {
63
+ await log.log({ type: 'verify-ok', sender: `agent-${i}` })
64
+ }
65
+ const limited = await log.query({ limit: 2 })
66
+ expect(limited).toHaveLength(2)
67
+ })
68
+
69
+ it('verify() returns true for valid entry', async () => {
70
+ const log = createAuditLog(keys.privateKey)
71
+ await log.log({ type: 'verify-ok', sender: 'alice', path: '/api/test' })
72
+
73
+ const entries = await log.query()
74
+ expect(entries).toHaveLength(1)
75
+ const valid = await log.verify(entries[0], keys.publicKey)
76
+ expect(valid).toBe(true)
77
+ })
78
+
79
+ it('verify() returns false for tampered entry', async () => {
80
+ const log = createAuditLog(keys.privateKey)
81
+ await log.log({ type: 'verify-ok', sender: 'alice', path: '/api/test' })
82
+
83
+ const entries = await log.query()
84
+ const tampered: AuditEntry = { ...entries[0], sender: 'eve' }
85
+ const valid = await log.verify(tampered, keys.publicKey)
86
+ expect(valid).toBe(false)
87
+ })
88
+
89
+ it('verify() returns false with wrong public key', async () => {
90
+ const log = createAuditLog(keys.privateKey)
91
+ await log.log({ type: 'verify-ok', sender: 'alice' })
92
+
93
+ const wrongKeys = await generateEd25519KeypairBase64Url()
94
+ const entries = await log.query()
95
+ const valid = await log.verify(entries[0], wrongKeys.publicKey)
96
+ expect(valid).toBe(false)
97
+ })
98
+
99
+ it('respects maxEntries by evicting oldest', async () => {
100
+ const log = createAuditLog(keys.privateKey, { maxEntries: 3 })
101
+ for (let i = 0; i < 5; i++) {
102
+ await log.log({ type: 'verify-ok', sender: `agent-${i}` })
103
+ }
104
+ expect(log.size()).toBe(3)
105
+ const entries = await log.query()
106
+ // Should have the last 3 (agents 2, 3, 4)
107
+ expect(entries[0].sender).toBe('agent-2')
108
+ })
109
+
110
+ it('entries have id, timestampMs, and entrySignature', async () => {
111
+ const log = createAuditLog(keys.privateKey)
112
+ await log.log({ type: 'response-signed', upstream: 'http://upstream' })
113
+
114
+ const entries = await log.query()
115
+ expect(typeof entries[0].id).toBe('string')
116
+ expect(typeof entries[0].timestampMs).toBe('number')
117
+ expect(typeof entries[0].entrySignature).toBe('string')
118
+ expect(entries[0].entrySignature.length).toBeGreaterThan(0)
119
+ })
120
+ })
121
+
122
+ describe('NoopAuditLog', () => {
123
+ it('log does nothing', async () => {
124
+ const log = new NoopAuditLog()
125
+ await log.log({ type: 'verify-ok', sender: 'alice' })
126
+ expect(log.size()).toBe(0)
127
+ })
128
+
129
+ it('query returns empty array', async () => {
130
+ const log = new NoopAuditLog()
131
+ const result = await log.query()
132
+ expect(result).toEqual([])
133
+ })
134
+
135
+ it('verify always returns false', async () => {
136
+ const log = new NoopAuditLog()
137
+ const fakeEntry = {
138
+ id: 'x',
139
+ timestampMs: Date.now(),
140
+ type: 'verify-ok' as const,
141
+ entrySignature: 'fake',
142
+ }
143
+ expect(await log.verify(fakeEntry, 'key')).toBe(false)
144
+ })
145
+ })