System overview
Current bounded acceptance state for NuHuman’s Cardano Preprod implementation.
- Transactions
- 18 / 18Block confirmed
- Flows
- F1–F9All represented
- Validators
- 29 / 29Scenarios passing
- CIP-170
- ACTIVEAuthority complete
Verification map
Five evidence sets resolve to one bounded result.
Recent evidence
Latest records in the published acceptance set.
Transaction coverage
Each point opens its confirmed Preprod explorer record.
Transactions
Search and inspect every chain-confirmed record in the Preprod acceptance set.
No matching record
Clear the filters or search with a flow ID, purpose, transaction, or block prefix.
Required flows
Representative chain evidence for every required behavior from F1 through F9.
Flow register
F1 also includes four additional investor onboarding records.
How the Cardano validator works
A transaction is confirmed only when every required script returns true.
- 1CIP-113 selects the policy
The directory binds the token policy to NuHuman’s issuance and transfer logic.
Wrong policy → reject - 2The registry proves the business fact
Signer, state change, uniqueness, entitlement, and claim amount must agree.
Bad state → reject - 3The script proves token movement
Owner, claimant, policy, and programmable-base scope must agree.
Extra movement → reject - 4The ledger takes the AND
Every required check returns true and the record is confirmed.
All true → accept
Contracts
Post-fix closure state for the current Cardano Preprod policy and validator suite.
Post-fix contract audit
Six findings, six implemented closures.
Verification gates
Acceptance checks on the final Preprod state.
Identity authority
CIP-170 authority, exact ATTEST shape, KEL discovery, and ten public role identifiers.
A fresh keripy verifier imports the schema, KELs, TELs, and ACDC, matches those bytes to AUTH_BEGIN, then verifies the later ATTEST digest.
Public AIDs
Every role identifier is fully visible and copyable.
Audit record
Completed, assessed, and unavailable reviews remain distinct—no unavailable model carries a fabricated verdict.
Reviewer coverage
Current model and engineering review record.
Not Mainnet clearance
Passing bounded engineering evidence is not a production security guarantee.
Evidence and reproduction
Public deployment identifiers, participation rules, and commands for independently rerunning the checks.
Deployment identifiers
Public Preprod values only. Signing material never enters this surface.
Participation tally
Computed from confirmed fees with OWN stake keys excluded.
Run the verification locally
The chain verifier queries Koios; the remaining commands inspect repository artifacts, tests, identity authority, evidence, and validators.
All identifiers shown are Preprod. Mainnet identifiers will be newly deployed and declared at M1 per Standard §4.1.
npm ci
npm run typecheck
npm test
npm run identity:verify:cip170
npm run evidence:verify
npm run evidence:tally
npm run evidence:verify:chain
(cd validators && aiken check)