Is a
Patent attributes
Patent Jurisdiction
Patent Number
Patent Inventor Names
Sachiko Yoshihama0
Takaaki Tateishi0
Shunichi Amano0
Shin Saito0
Futoshi Iwama0
Date of Patent
November 15, 2022
0Patent Application Number
168083220
Date Filed
March 3, 2020
0Patent Citations
Patent Primary Examiner
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.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.
