-
公开(公告)号:US20210357195A1
公开(公告)日:2021-11-18
申请号:US17444054
申请日:2021-07-29
Applicant: UNIVERSITY OF SCIENCE AND TECHNOLOGY BEIJING
Inventor: Yan ZHU , Di WANG , Bohan QIN , Weijing SONG
Abstract: A method for executable smart legal contract construction and execution over legal contracts includes several steps. 1) Use the specified smart contract language to formally represent attributes and terms in natural language contracts, further generate smart contracts. 2) Use the conversion rules over target language to translate the smart legal contracts into executable target language contracts. 3) Each of target language contracts is compiled, further encapsulated as a blockchain transaction which is issued into blockchain via consensus protocol. The deployment of the contracts is completed once the contracting parties sign the target language contracts. 4) Once term of the smart legal contract is triggered, the corresponding functions of the target language contract will be executed by the blockchain nodes, and the execution results are issued to blockchain in a blockchain transaction form. After validation, the transaction is stored into blockchain as an electronic certification of contract execution.
-
公开(公告)号:US20170359177A1
公开(公告)日:2017-12-14
申请号:US15542211
申请日:2015-02-13
Applicant: UNIVERSITY OF SCIENCE AND TECHNOLOGY BEIJING
CPC classification number: H04L9/3026 , H04L9/0643 , H04L9/3033 , H04L9/3218
Abstract: A cryptographic decision-making of set membership is a method or system which make a secure decision-making for positive membership e∈S or negative membership e∉S in an unforgeable and non-repudiation way for any element e and a set S. The proposed method of the present invention comprises: acquire a set U={e1, . . . , en} and map each element ei in U into a random point vi in a cryptography space; acquire a set S={e′1, . . . , e′m}⊂U, determine a random point v′i corresponding to each element e′i in the set S, and construct a function ƒS(x) according to all random points v′i; introduce a random secret γ to generate ƒS(γ) by using the function ƒS(x), and produce a public parameter mpk according to the random secret γ; and generate the cryptographic representation of set S by using the function ƒS(γ) and the public parameter mpk. In the embodiments, we provide two kinds of cryptographic representations of set, including Poles-based Aggregation and Zeros-based Aggregation, to make the decision on positive membership ei∈S and negative membership ei∉S.
-
3.
公开(公告)号:US20180006811A1
公开(公告)日:2018-01-04
申请号:US15543223
申请日:2015-11-05
Applicant: UNIVERSITY OF SCIENCE AND TECHNOLOGY BEIJING
CPC classification number: H04L9/0833 , H04L9/14 , H04L12/18 , H04L29/06 , H04L63/0442 , H04L63/065 , H04L2209/601
Abstract: A method and system for group-oriented encryption and decryption that supports the implementation of the designation and revocation functions of decryption users in a large-scale group. During the encryption, the system acquires a corresponding aggregate function according to an encryption mode; acquires any selected subset S and public parameters, and outputs an aggregate value of the subset S; generates a ciphertext of to-be-transmitted information according to the public parameters, a to-be-transmitted message and the aggregate value; acquires the encryption mode and the subset S comprised in the received ciphertext, operates the subset S and an identity of a current decryptor according to the encryption mode, and outputs a new subset S′; acquires an aggregate function corresponding to the encryption mode during the decryption; outputs an aggregate value of the new subset S′; and decrypts the received ciphertext according to the public parameters and the aggregate value, so as to obtain the to-be-transmitted information.
-
-