{"id":50500631,"url":"https://github.com/prof-faustus/verifiable-accounting-chain","last_synced_at":"2026-06-02T11:02:07.067Z","repository":{"id":361545095,"uuid":"1254485847","full_name":"prof-faustus/verifiable-accounting-chain","owner":"prof-faustus","description":"BSV-native audit-evidence platform: a PKI-rooted, ECDH-linked, spend-linked transaction chain of triple-entry accounting records with per-field selective disclosure, mapped general ledger, and tax linkage — anchored on the Bitcoin (BSV) header chain.","archived":false,"fork":false,"pushed_at":"2026-05-31T06:12:52.000Z","size":219,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2026-05-31T07:10:00.378Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"TypeScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/prof-faustus.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":"SECURITY.md","support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2026-05-30T16:16:22.000Z","updated_at":"2026-05-31T06:12:56.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/prof-faustus/verifiable-accounting-chain","commit_stats":null,"previous_names":["prof-faustus/verifiable-accounting-chain"],"tags_count":null,"template":false,"template_full_name":null,"purl":"pkg:github/prof-faustus/verifiable-accounting-chain","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/prof-faustus%2Fverifiable-accounting-chain","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/prof-faustus%2Fverifiable-accounting-chain/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/prof-faustus%2Fverifiable-accounting-chain/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/prof-faustus%2Fverifiable-accounting-chain/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/prof-faustus","download_url":"https://codeload.github.com/prof-faustus/verifiable-accounting-chain/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/prof-faustus%2Fverifiable-accounting-chain/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":33818568,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-26T15:22:16.424Z","status":"online","status_checked_at":"2026-06-02T02:00:07.132Z","response_time":109,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2026-06-02T11:02:06.110Z","updated_at":"2026-06-02T11:02:07.062Z","avatar_url":"https://github.com/prof-faustus.png","language":"TypeScript","funding_links":[],"categories":[],"sub_categories":[],"readme":"# verifiable-accounting-chain\n\nA BSV-native audit-evidence platform in which a **PKI root** anchors a hierarchy\nof keys, an **ECDH-derived, spend-linked, signed transaction chain** links every\naccounting transaction into one provable chain, and **per-field selective\ndisclosure** lets an auditor, tax authority, or regulator be handed a tiny proof\nbundle that reveals only the fields they ask for while hiding everything else.\n\nThis is accounting/audit/tax-evidence infrastructure — not a cryptography\nproject. The evidence mechanism is **selective disclosure**: the system produces\nthe genuine accounting field(s) under examination together with proofs that each\nis committed, mapped, chained, and anchored on the Bitcoin (BSV) chain. There is\n**no** hidden-value cryptography — no commitment scheme, zero-knowledge proof, or\nrange proof — because those prove only a relationship among concealed numbers,\nwhich is not audit evidence. Bitcoin (BSV) — the original Bitcoin protocol — is\nthe entire technical universe; verification terminates in a validated BSV block\nheader chain.\n\n## The three pillars\n\n1. **PKI root + general-ledger key hierarchy** (`@vaa/keys`). A single certified\n   root key anchors the entity's accounting structure; every ledger node and\n   field has a deterministic sub-key derived under the root (public-side\n   derivation matches private-side).\n2. **ECDH-linked transaction chain** (`@vaa/chain`). Each accounting transaction\n   *spends* the previous one and carries a signature from a key-series key that is\n   derived deterministically from its predecessor and the PKI root, so reordering,\n   inserting, or dropping a transaction is detectable.\n3. **Per-field selective disclosure over the field tree** (`@vaa/merkle`,\n   `@vaa/proofstore`, `@vaa/evidence`). Each field of an accounting transaction is\n   a leaf of a Merkle field tree; the proof is sharded so a query returns only the\n   portion needed for the field(s) requested.\n\nOn top of the pillars the platform is **mapped** (`@vaa/ledgermap` — every field\nhas a ledger path and key under the structure root), **triple-entry**\n(`@vaa/tripleentry` — debit, credit, and the shared on-chain entry both sides\nreference), and **tax-linked** (`@vaa/tax` — tax positions recompute from mapped\ntax fields). `@vaa/bundle` assembles and verifies the tiny auditor bundle.\n\n## The worked auditor scenario\n\nAn auditor asks a narrow question — \"show me the VAT total for the period and\nprove it matches the on-chain root.\" The holder produces a small bundle: the\ndisclosed field(s), the Merkle path proving each belongs to the accounting\ntransaction's committed field-tree root, the chain evidence binding the\ntransaction into the PKI-rooted provable chain, and the inclusion proof anchoring\nit on Bitcoin (BSV). The auditor verifies independently and learns the figure is\ngenuine, committed, mapped, chained, and anchored — and **nothing** about any\nother field or record.\n\n**Honest boundary:** this proves the produced field is the genuine committed,\nanchored field in the provable chain and that stated arithmetic holds over\ndisclosed fields; it does **not** establish that a faithfully recorded figure\nreflects external reality (a record committed falsely at origin is not detected).\n\n## Packages\n\n| Package | Role |\n| --- | --- |\n| `@vaa/bsv` | BSV primitives + the secp256k1 (BSV-curve) group-op wrappers. |\n| `@vaa/keys` | Pillar 1: PKI root + general-ledger key hierarchy. |\n| `@vaa/chain` | Pillar 2: the ECDH-linked, spend-linked, signed transaction chain. |\n| `@vaa/merkle` | Field-tree Merkle primitives. |\n| `@vaa/proofstore` | Pillar 3: selective verification / proof-sharding. |\n| `@vaa/evidence` | Accounting records → field tree (Part 5C-P3 TLV carriage), checks. |\n| `@vaa/ledgermap` | The field map: structure, field→path→key, mapping root, extraction. |\n| `@vaa/tripleentry` | Triple-entry recording and reconciliation. |\n| `@vaa/tax` | Tax fields as mapped fields, recomputation, the tax bundle. |\n| `@vaa/bundle` | The tiny auditor proof bundle (issue + verify). |\n| `@vaa/api` | Service: anchor/prove/query/verify + chain + bundle operations. |\n| `@vaa/cli` | `vaa` binary: the operations above + selftest + reproduce. |\n| `@vaa/simstore` | Storage / retrieval + bundle-size study. |\n| `@vaa/simstudy` | Assurance study with the unified fault matrix. |\n\n## Install, build, verify\n\n```\nnpm ci\nnpm run build\nnpm run lint        # format check + forbidden-token scan\nnpm test            # full test suite\nnode packages/cli/dist/index.js selftest    # every layer, pass/fail\nnode packages/cli/dist/index.js reproduce   # regenerate + diff all vectors\nnpm run study:store\nnpm run study:assurance\n```\n\nAbsolute timings printed by the studies are labelled *local* and must be re-run\non the hardware named in [docs/REPRODUCIBILITY.md](docs/REPRODUCIBILITY.md).\n\n## Documentation\n\n- [Architecture](docs/ARCHITECTURE.md) — the three pillars, the unified layers, the trust root.\n- [Decisions](docs/DECISIONS.md) — stack, the Part 5C-P3 TLV encoding, the link relation, open-choice resolutions.\n- [Security](docs/SECURITY.md) — the trust model: header chain, PKI root + chain, selective disclosure, honest boundary.\n- [Reproducibility](docs/REPRODUCIBILITY.md), [Operations](docs/OPERATIONS.md).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fprof-faustus%2Fverifiable-accounting-chain","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fprof-faustus%2Fverifiable-accounting-chain","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fprof-faustus%2Fverifiable-accounting-chain/lists"}