SG11202002848VA - Declarative smart contracts - Google Patents

Declarative smart contracts

Info

Publication number
SG11202002848VA
SG11202002848VA SG11202002848VA SG11202002848VA SG11202002848VA SG 11202002848V A SG11202002848V A SG 11202002848VA SG 11202002848V A SG11202002848V A SG 11202002848VA SG 11202002848V A SG11202002848V A SG 11202002848VA SG 11202002848V A SG11202002848V A SG 11202002848VA
Authority
SG
Singapore
Prior art keywords
smart contracts
declarative
declarative smart
contracts
smart
Prior art date
Application number
SG11202002848VA
Inventor
Silvio Micali
Original Assignee
Algorand Inc
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Algorand Inc filed Critical Algorand Inc
Publication of SG11202002848VA publication Critical patent/SG11202002848VA/en

Links

Classifications

    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L9/00Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
    • H04L9/32Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials
    • H04L9/3236Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials using cryptographic hash functions
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06QINFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q20/00Payment architectures, schemes or protocols
    • G06Q20/38Payment protocols; Details thereof
    • G06Q20/382Payment protocols; Details thereof insuring higher security of transaction
    • G06Q20/3825Use of electronic signatures
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06QINFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q20/00Payment architectures, schemes or protocols
    • G06Q20/38Payment protocols; Details thereof
    • G06Q20/382Payment protocols; Details thereof insuring higher security of transaction
    • G06Q20/3829Payment protocols; Details thereof insuring higher security of transaction involving key management
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06QINFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q20/00Payment architectures, schemes or protocols
    • G06Q20/38Payment protocols; Details thereof
    • G06Q20/40Authorisation, e.g. identification of payer or payee, verification of customer or shop credentials; Review and approval of payers, e.g. check credit lines or negative lists
    • G06Q20/401Transaction verification
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06QINFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q40/00Finance; Insurance; Tax strategies; Processing of corporate or income taxes
    • G06Q40/04Trading; Exchange, e.g. stocks, commodities, derivatives or currency exchange
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L63/00Network architectures or network communication protocols for network security
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L63/00Network architectures or network communication protocols for network security
    • H04L63/08Network architectures or network communication protocols for network security for authentication of entities
    • H04L63/0815Network architectures or network communication protocols for network security for authentication of entities providing single-sign-on or federations
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L63/00Network architectures or network communication protocols for network security
    • H04L63/12Applying verification of the received information
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L9/00Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
    • H04L9/50Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols using hash chains, e.g. blockchains or hash trees
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L2209/00Additional information or applications relating to cryptographic mechanisms or cryptographic arrangements for secret or secure communication H04L9/00
    • H04L2209/56Financial cryptography, e.g. electronic payment or e-cash
SG11202002848VA 2017-10-04 2018-10-04 Declarative smart contracts SG11202002848VA (en)

Applications Claiming Priority (7)

Application Number Priority Date Filing Date Title
US201762567864P 2017-10-04 2017-10-04
US201762570256P 2017-10-10 2017-10-10
US201762580757P 2017-11-02 2017-11-02
US201762607558P 2017-12-19 2017-12-19
US201862632944P 2018-02-20 2018-02-20
US201862643331P 2018-03-15 2018-03-15
PCT/US2018/054311 WO2019070938A1 (en) 2017-10-04 2018-10-04 Declarative smart contracts

Publications (1)

Publication Number Publication Date
SG11202002848VA true SG11202002848VA (en) 2020-06-29

Family

ID=65994758

Family Applications (1)

Application Number Title Priority Date Filing Date
SG11202002848VA SG11202002848VA (en) 2017-10-04 2018-10-04 Declarative smart contracts

Country Status (12)

Country Link
US (1) US20200313896A1 (en)
EP (1) EP3692699A4 (en)
JP (2) JP7305627B2 (en)
KR (1) KR20200101328A (en)
CN (2) CN111567009B (en)
AU (2) AU2018346326B2 (en)
CA (1) CA3078328A1 (en)
IL (1) IL273767A (en)
MX (1) MX2020003931A (en)
RU (1) RU2020115149A (en)
SG (1) SG11202002848VA (en)
WO (1) WO2019070938A1 (en)

Families Citing this family (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP7040218B2 (en) * 2018-03-29 2022-03-23 富士通株式会社 Blockchain program and blockchain method
CN108898390B (en) * 2018-06-27 2021-01-12 创新先进技术有限公司 Intelligent contract calling method and device based on block chain and electronic equipment
CN109003078B (en) 2018-06-27 2021-08-24 创新先进技术有限公司 Intelligent contract calling method and device based on block chain and electronic equipment
CN110300167B (en) * 2019-06-28 2020-07-31 京东数字科技控股有限公司 Service information processing method and device based on block chain and readable storage medium
CN111582844A (en) * 2019-08-22 2020-08-25 深圳市先河系统技术有限公司 Block chain based commission fee distribution method, device and storage medium
CN111930717A (en) * 2020-08-07 2020-11-13 暨南大学 Crowdsourcing database construction method and device based on block chain and natural language processing
US20230014140A1 (en) * 2021-07-14 2023-01-19 Fortior Blockchain, Lllp Smart contract system using artificial intelligence
CN114338006B (en) * 2021-12-24 2023-01-24 浙江大学 Cross-correlation pseudo-random number remote acquisition method and device based on semi-trusted hardware

Family Cites Families (28)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR101194732B1 (en) 2002-02-14 2012-10-25 자차리 페신 Apparatus and method of a distributed capital system
US7809777B2 (en) * 2005-07-01 2010-10-05 Qnx Software Systems Gmbh & Co. Kg File system having deferred verification of data integrity
US7873683B2 (en) * 2005-07-01 2011-01-18 Qnx Software Systems Gmbh & Co. Kg File system having transaction record coalescing
US9501795B1 (en) * 2010-08-23 2016-11-22 Seth Gregory Friedman Validating an electronic order transmitted over a network between a client server and an exchange server with a hardware device
EP2634738A1 (en) 2012-03-02 2013-09-04 Alcatel Lucent Decentralized electronic transfer system
GB201407614D0 (en) * 2014-04-30 2014-06-11 Piksel Inc Content delivery system
US20170140408A1 (en) * 2015-11-16 2017-05-18 Bank Of America Corporation Transparent self-managing rewards program using blockchain and smart contracts
US9992028B2 (en) 2015-11-26 2018-06-05 International Business Machines Corporation System, method, and computer program product for privacy-preserving transaction validation mechanisms for smart contracts that are included in a ledger
GB2604540B (en) * 2016-02-03 2023-01-11 Luther Systems System and method for secure management of digital contracts
US20170243193A1 (en) * 2016-02-18 2017-08-24 Skuchain, Inc. Hybrid blockchain
US10475030B2 (en) * 2016-02-22 2019-11-12 Bank Of America Corporation System for implementing a distributed ledger across multiple network nodes
US10762504B2 (en) 2016-02-22 2020-09-01 Bank Of America Corporation System for external secure access to process data network
US10223685B2 (en) * 2016-02-26 2019-03-05 Arithmetic Operations Incorporated Systems, methods, and media for pay-per-access micropayment-based web browsing and server applications
US10063529B2 (en) 2016-03-28 2018-08-28 Accenture Global Solutions Limited Secure 3D model sharing using distributed ledger
CN105893042A (en) * 2016-03-31 2016-08-24 北京航空航天大学 Intelligent contract implementation method based on block chain
US10198325B2 (en) * 2016-05-24 2019-02-05 Mastercard International Incorporated Method and system for desynchronization recovery for permissioned blockchains using bloom filters
US10204341B2 (en) * 2016-05-24 2019-02-12 Mastercard International Incorporated Method and system for an efficient consensus mechanism for permissioned blockchains using bloom filters and audit guarantees
US10305694B2 (en) * 2016-05-27 2019-05-28 Mastercard International Incorporated Method and system for efficient distribution of configuration data utilizing permissioned blockchain technology
US10565570B2 (en) * 2016-09-27 2020-02-18 The Toronto-Dominion Bank Processing network architecture with companion database
CN106385319B (en) * 2016-09-29 2020-11-27 江苏通付盾科技有限公司 Method and system for verifying information in block chain network
AU2018230763A1 (en) * 2017-03-08 2019-10-31 Ip Oversight Corporation System and method for creating commodity asset-secured tokens from reserves
WO2018175666A1 (en) * 2017-03-21 2018-09-27 Dappsters, LLC Blockchain systems and methods
US10310918B2 (en) * 2017-03-22 2019-06-04 International Business Machines Corporation Information sharing among mobile apparatus
EP3613171B1 (en) * 2017-05-30 2021-06-30 Siemens Aktiengesellschaft Industrial network using a blockchain for access control, and access control method
US10795977B2 (en) * 2017-08-24 2020-10-06 Oracle International Corporation Digital asset traceability and assurance using a distributed ledger
US20190147553A1 (en) * 2017-11-14 2019-05-16 TitleFlow LLC Storing linked lists of mineral rights transactions in directed acyclic graphs of cryptographic hash pointers
WO2019142049A1 (en) * 2018-01-17 2019-07-25 Geeq Corporation Blockchain methods, nodes, systems and products
JP6955026B2 (en) * 2019-03-28 2021-10-27 アドバンスド ニュー テクノロジーズ カンパニー リミテッド Systems and methods for parallel processing blockchain transactions

Also Published As

Publication number Publication date
JP7305627B2 (en) 2023-07-10
EP3692699A4 (en) 2021-08-25
AU2018346326B2 (en) 2023-08-24
IL273767A (en) 2020-05-31
CN111567009B (en) 2022-07-12
JP2020537391A (en) 2020-12-17
CN114677135A (en) 2022-06-28
EP3692699A1 (en) 2020-08-12
CN111567009A (en) 2020-08-21
RU2020115149A (en) 2021-11-08
RU2020115149A3 (en) 2021-11-08
KR20200101328A (en) 2020-08-27
AU2018346326A1 (en) 2020-04-16
AU2023270268A1 (en) 2023-12-07
MX2020003931A (en) 2020-10-12
JP2023138978A (en) 2023-10-03
CA3078328A1 (en) 2019-04-11
WO2019070938A1 (en) 2019-04-11
US20200313896A1 (en) 2020-10-01

Similar Documents

Publication Publication Date Title
SG10202112659XA (en) Parameterisable smart contracts
EP3729256C0 (en) Dynamically generated smart contracts
EP3593263A4 (en) Smart plans
IL273767A (en) Declarative smart contracts
GB201901845D0 (en) Smart package
GB201517413D0 (en) Smart apparel
EP3391593A4 (en) Declarative machine-to-machine application programming
GB2560203B (en) Smartcard
GB2556846B (en) Smart phone case
EP3534736C0 (en) Bra
EP3612046C0 (en) Brassiere
GB2556483B (en) Smart shaker room
GB201714992D0 (en) RFID systems
TWI562743B (en) Smart wristband
HK1200650A2 (en) Mechanical thermostat
GB201714372D0 (en) Macrocyclisation tags
IL273192A (en) Autonomously cooperating smart devices
SG11202000630PA (en) Open smart completion
GB201700085D0 (en) Future position commitment
GB201619784D0 (en) Smart apparel
PL3059697T3 (en) Smart optical tag
GB201708883D0 (en) Smart radiator
GB201706460D0 (en) Bionetric smartcard
GB201611669D0 (en) Smart serve
ZAA201701728S (en) Tag