US Patent 11502822 Static analysis of smart contract determinism
All edits
Edits on 16 Oct, 2023
Golden AI
Edits made to:
Infobox (+5 properties)
Infobox
Patent Inventor Names
Futoshi Iwama0
Sachiko Yoshihama0
Shin Saito0
Shunichi Amano0
Takaaki Tateishi0
Edits on 30 Apr, 2023
Golden AI
Infobox
Edits on 29 Apr, 2023
Golden AI
Infobox
Patent Citations
Edits on 16 Nov, 2022
Golden AI
Edits made to:
Infobox (+17 properties)
Article (+436 characters)
US Patent 11502822 Static analysis of smart contract determinism
Article
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.
Infobox
Is a
Patent Jurisdiction
Patent Number
115028220
Date of Patent
November 15, 2022
0Patent Application Number
168083220
Date Filed
March 3, 2020
0Patent Citations
Patent Primary Examiner
Find more entities like US Patent 11502822 Static analysis of smart contract determinism
Use the Golden Query Tool to find similar entities by any field in the Knowledge Graph, including industry, location, and more.
By using this site, you agree to our Terms of Service.