AttestoScript

Contract receipts bound to signer identity.

The 3-minute scriptapprox. 60 seconds per 100 words

AttestoScript is a bounded, deterministic contract VM. It supports live translation of EVM and Solidity source, so existing Ethereum contracts can run under bounded execution rules. Every receipt cites the caller's identity binding digest and is signed under ML-DSA-87. Auditors replay the program, inputs, and identity state to re-derive the same output digest. No reentrancy surface, no general-purpose Turing-complete risk.

Key specs

RuntimeDeterministic, bounded

EVM translationLive

Receipt shapescript_receipt attesto

SignatureML-DSA-87

Demo URL

proofnetbtc.com/demo/attestoscript

Fixture data only. No live secrets or production credentials are exposed.

Compliance posture: Receipt audit trail is replayable without the original contract executor. Suitable for jurisdictions requiring verifiable on-chain compute.

Licensed through Blockie Talkie LLC · Logan, Utah
Commercial inquiries: proofnetbtc.com/licensing

proofnetbtc.com/demo/attestoscript