Static analysis of smart contract determinism
US11502822B2 · kind B2 · utility
0Cited by
3References
16Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Mar 3, 2020 |
| Grant date | Nov 15, 2022 |
| Priority date | — |
| Expiry date | Feb 26, 2041 |
Classification
- Technology area (CPC H)Electricity
- CPC primaryH04L2209/26
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Smart contract code is verified by storing smart contract code, identifying a type system for verifying a determinism of the smart contract code based on a first set of security-level values and a second set of security level values, and verifying the determinism of the smart contract code by taking the first set of security-level values as deterministic values and the second set of security level values as non-deterministic values.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.