Proof-carrying smart contract

This invention describes a system for running smart contracts on a blockchain more reliably. It ensures that before a contract performs an action, the system verifies that the action will meet specific conditions, both before and after it runs. This verification uses a special "proof" embedded within the contract to guarantee its predictable and correct behavior.

Why it matters: Filed when formal verification for smart contracts was nascent. Significant advancements in formal methods and zero-knowledge proofs since 2018 make provably correct smart contracts more feasible and efficient, addressing critical security concerns.

Status: ExpiredProtection ended and was never renewed
How hard to build: SpecializedSoftware logic, blockchain integration, formal verification tools.

3 AI reinvention directions for this patent

See all three

AI gives you a few directions you could take this. Pick one, and we check whether your version is different enough to patent, then write the filing.

Reinvent this with AI

Where this one came from

Every morning we go through millions of abandoned patents and pick out 15 worth your time. This was one of today’s.

This one

+10