US 5761652A
· Wu et al.
· 1998
[cited by applicant]
US 6760905B1
· Hostetter et al.
· 2004
[cited by applicant]
US 9569206B1
· Dawson et al.
· 2017
[cited by applicant]
US 20170287090A1
· Hunn et al.
· 2017
[cited by applicant]
CN 106598549A
· 2017
[cited by applicant]
CN 106598579A
· 2017
[cited by applicant]
JP S61182138A
· 1986
[cited by applicant]
JP 2006107339A
· 2006
[cited by applicant]
WO 2017024071A1
· 2017
[cited by applicant]
WO 2017027407A1
· 2017
[cited by applicant]
WO 2017145006A1
· 2017
[cited by applicant]
WO 2017187398A1
· 2017
[cited by applicant]
Author: Dan Robinson; Title: “Ivy: A Declarative Predicate Language for Smart Contracts”; Date: Jan. 26, 2017, Source: Internet: https://diyhpl.us/wiki/transcripts/blockchain-protocol-analysis-security-engineering/2017/…
[cited by examiner]
Author: Dan Robinson; Title: “Ivy: A Declarative Predicate Language for Smart Contracts”; Date: Jan. 26, 2017, Slides (Year: 2017).
[cited by examiner]
Allison, “Jeff Garzik's Bloq runs smart contracts like an ‘Ethereum plug-in for Bitcoin,’” International Business Times, May 25, 2016, https://www.ibtimes.co.uk/jeff-garziks-bloq-runs-smart-contracts-like-ethereum-plug-…
[cited by applicant]
Anonymous: “Announcing Ivy Playground—Chain”, May 18, 2017, 15 pages.
[cited by applicant]
Anonympous: “Part 1: Transaction Basics Crypto Tokens”, Jun. 6, 2017, https:/web.archive.org/web/2017060202729/https://klmoney.wordspress.com/bitcoin-dissecting-transactions-part1, 16 pages.
[cited by applicant]
Anonymous: “Part 2: Building a Transaction by Hand, Crypto Tokens”, Jun. 7, 2017, 18 pages.
[cited by applicant]
Antonopoulos, “Mastering Bitcoin—Unlocking Digital Cryptocurrencies,” O'Reilly Media, Inc., Dec. 20, 2014, 282 pages.
[cited by applicant]
Bedford, “How to code with Google Blockly,” Tech Advisor, Jun. 12, 2014, https://web.archive.org/web/20170626164055/https://www.techadvisor.co.uk/how-to/software/how-code-with-google-blockly-3524675, 6 pages.
[cited by applicant]
Bhargavan et al., “Formal Verification of Smart Contracts,” Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, Oct. 24, 2016, https://antoine.delignat-lavaud.fr/doc/plas16.pdf, 6 pa…
[cited by applicant]
Bitcoininvestor.com, “All-Star Panel: Ed Moy, Joseph VaughnPerling, Trace Mayer, Nick Szabo, Dr. Craig Wright,” YouTube, https://youtu.be/LdvQTwjVmrE, Bitcoin Investor Conference, Oct. 29, 2015 [retrieved Dec. 12, 2018]…
[cited by applicant]
Ceejep et al., “Rfp-8: Higher Level Language Compiling to Transaction Script,” Dec. 14, 2015, https://forum.decred.org/threads/rfp-8-higher-level-language-compiling-totransaction-script.3665/, 7 pages.
[cited by applicant]
Chain, “Announcing Ivy Playground,” Medium, May 17, 2017, https://web.archive.org/web/20170518000630/https://blog.chain.com/announcing-ivy-playground-395364675d0a, 12 pages.
[cited by applicant]
Chen et al., “Under-Optimized Smart Contracts Devour Your Money,” IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER), Feb. 20, 2017, https://arxiv.org/pdf/1703.03994.pdf, 5 page…
[cited by applicant]
Costill, “Bitcoin Scripting and How It Can Be Improved,” Due, https://due.com/blog/bitcoin-scripting-and-how-it-can-be-improved/, Mar. 25, 2016, 16 pages.
[cited by applicant]
Curiosity Driven, “Bitcoin contracts compiler,” Sep. 6, 2014, https://github.com/curiosity-driven/bitcoin-contracts-compiler, 2 pages.
[cited by applicant]
Curiosity Driven, “Bitcoin contracts,” Apr. 8, 2016, https://curiosity-driven.org/bitcoin-contracts, 10 pages.
[cited by applicant]
Curiosity Driven, “Superscript compiler,” Sep. 6, 2014, https://github.com/curiosity-driven/bitcoin-contracts-compiler/commits/master, 1 page.
[cited by applicant]
De Rosa, “A developer-oriented series about Bitcoin—Section 10: The Bitcoin Script language (pt. 1) and Section 11: The Bitcoin Script language (pt. 2),” May 25, 2015, https://davidederosa.com/basic-blockchain-programmi…
[cited by applicant]
Etherscan, “ByteCode to Opcode Disassembler,” Etherscan, the Ethereum Block Explorer, Aug. 2015, https://etherscan.io/address/0xafdacfee6395bc1e480a900943f1803f854bc20e, 3 pages.
[cited by applicant]
Etherscan, “Contract Address—Transaction Example,” Etherscan, the Etheruem Block Explorer, Oct. 20, 2016, 3 pages.
[cited by applicant]
Etherscan, “Contract Address,” Etherscan, the Etheruem Block Explorer, copyright 2017, https://etherscan.io/address/0x5a4964bb5fdd3ce646bb6aa020704f7d4db79302, 4 pages.
[cited by applicant]
Exab et al., “Understanding the risk of BU (bitcoin unlimited),” Reddit, Feb. 22, 20217, https://www.reddit.com/r/Bitcoin/comments/5vo5wi/understanding_the_risk_of_bu_bitcoin_unlimited/, 27 pages.
[cited by applicant]
FMLFPL111 et al., “It's there a solution to the scaling problem?,” Reddit, Jan. 25, 2017, https://www.reddit.com/r/Monero/comments/5q3fcf/its_there_a_solution_to_the_scaling_problem/, 14 pages.
[cited by applicant]
Frontier, “State Machine,” Gitbooks, Mar. 15, 2017, https://ethereum.gitbooks.io/frontierguide/content/opcodes,_costs,_and_gas.html, 1 page.
[cited by applicant]
Gitbook, “Ethereum Frontier Guide,” Gitbook (Legacy), Feb. 4, 2016, 293 pages.
[cited by applicant]
Github.com, “EVM Opcode Gas Costs”, https://github.com/djrtwo/evm-opcode-gas-costs, Apr. 12, 2017, 2 pages.
[cited by applicant]
International Search Report and Written Opinion mailed Aug. 30, 2018, Patent Application No. PCT/IB2018/054970, 13 pages.
[cited by applicant]
International Search Report and Written Opinion mailed Aug. 30, 2018, Patent Application No. PCT/IB2018/054971, 12 pages.
[cited by applicant]
International Search Report and Written Opinion mailed Mar. 23, 2018, Patent Application No. PCT/IB2017/054110, 13 pages.
[cited by applicant]
International Search Report and Written Opinion mailed Mar. 23, 2018, Patent Application No. PCT/IB2017/054113, 13 pages.
[cited by applicant]
International Search Report and Written Opinion mailed Mar. 23, 2018, Patent Application No. PCT/IB2017/054114, 14 pages.
[cited by applicant]
International Search Report and Written Opinion mailed Sep. 3, 2018, Patent Application No. PCT/IB2018/054969, 13 pages.
[cited by applicant]
Klmoney, “Part 1: Transaction Basics,” Jun. 6, 2017, Wordpress, https://web.archive.org/web/20170606202729/https://klmoney.wordpress.com/bitcoin-dissecting-transactions-part-1/, 9 pages.
[cited by applicant]
Klmoney, “Part 2: Building a Transaction By Hand,” Wordpress, Jun. 7, 2017, https://web.archive.org/web/20170607015517/https://klmoney.wordpress.com/bitcoin-dissecting-transactions-part-2-building-a-transaction-by-hand/…
[cited by applicant]
Kosba et al., “Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts,” IEEE Symposium on Security and Privacy, May 22, 2016, 31 pages.
[cited by applicant]
Le Calvez, “A look at Bitcoin non-standard outputs,” Medium, Nov. 8, 2015 [retrieved Feb. 28, 2017], https://medium.com/@alcio/a-look-at-bitcoin-non-standard-outputs-c97f65cccbb6#.3fw5ur52k, 6 pages.
[cited by applicant]
Lerner, “RSK Rootstock Platform Bitcoin powered Smart Contracts White Paper version 9,” Nov. 19, 2015, https://uploads.strikinglycdn.com/files/90847694-70f0-4668-ba7fdd0c6b0b00a1/RootstockWhitePaperv9-Overview.pdf, 24 p…
[cited by applicant]
Morgenstern, “Forth's Stacks,” Forth.org, Nov. 14, 2016, https://web.archive.org/web/20161114030625/http://www.forth.org/svfig/Len/softstak.htm, 3 pages.
[cited by applicant]
Nakamoto, “Bitcoin: A Peer-to-Peer Electronic Cash System,” Bitcoin, Oct. 31, 2008, https://bitcoin.org/bitcoin.pdf, 9 pages.
[cited by applicant]
Rensylvain et al., “Any truth to haveing turing complete programming worked into bitcoin via an OP code?,” Reddit, Dec. 13, 2015, https://www.reddit.com/r/Bitcoin/comments/3wpkd0/any_truth_to_haveing_turing_complete_pro…
[cited by applicant]
Rios et al., “Derivative-free optimization: a review of algorithms and comparison of software implementations,” Journal of Global Optimization 56(3):1247-93, Jul. 12, 2012.
[cited by applicant]
Robinson, “Ivy: A Declarative Predicate Language for Smart Contracts,” Chain, https://cyber.stanford.edu/sites/default/files/danrobinson.pdf, Jan. 2017, 30 pages.
[cited by applicant]
Robinson, Dan, “Ivy: A Declarative Predicate Language for Smart Contracts” BPASE 2017, Stanford University, Jan. 26, 2017, 6 pages.
[cited by applicant]
Sarchar et al., “[Announce] Whitepaper for Bitstorage—a peer to peer, cloud storage network,” Bitcoin Forum, Nov. 27, 2013, https://bitcointalk.org/index.php?topic=348868.0, 10 pages.
[cited by applicant]
Satoshi et al., “Connection Limits,” Bitcoin Forum, Aug. 9, 2010, https://bitcointalk.org/index.php?topic=741.0; prev_next=prev, 2 pages.
[cited by applicant]
Solidity in Depth, “Expressions and Control Structures” Input Parameters and Output Parameters, Jul. 3, 2017, https://docs.huihoo.com/ethereum/solidity/control-structures.html, 10 pages.
[cited by applicant]
Stevenroose et al., “IRC Chat Log Feb. 9, 2016,” Bitcoin Wizards, Feb. 9, 2016, https://irclog.whitequark.org/bitcoin-wizards/2016-02-09, pages.
[cited by applicant]
Tekknolagi et al., “How to implement Loop in a Forth-like language interpreter written in C,” Stack Overflow, Aug. 4, 2011, https://web.archive.org/web/20150531001644/https://stackoverflow.com/questions/6949434/how-to-i…
[cited by applicant]
UK Commercial Search Report mailed Nov. 17, 2017, Patent Application No. GB1710974.5, 9 pages.
[cited by applicant]
UK IPO Search Report mailed Dec. 21, 2017, Patent Application No. GB1710967.9, 9 pages.
[cited by applicant]
UK IPO Search Report mailed Dec. 21, 2017, Patent Application No. GB1710971.1, 9 pages.
[cited by applicant]
UK IPO Search Report mailed Dec. 21, 2017, Patent Application No. GB1710974.5, 9 pages.
[cited by applicant]
Wikipedia, “Proof of space,” Wikipedia the Free Encyclopedia, Jul. 11, 2017, https://en.wikipedia.org/w/index.php?title=Proof-of-space&oldid=790069182, 5 pages.
[cited by applicant]
Willis et al., “TX Script—Documentation,” GitHub, Jun. 27, 2016, https://github.com/Kefkius/txsc/blob/master/doc/txscript.asciidoc, 8 pages.
[cited by applicant]
Willis et al., “TX Script—History,” GitHub, Jun. 27, 2016, https://github.com/Kefkius/txsc/commits/master/doc/txscript.asciidoc, 2 pages.
[cited by applicant]
Willis et al., “TX Script,” GitHub, Jun. 27, 2016, https://githib.com/Kefkius/txsc, 3 pages.
[cited by applicant]
Zyskind, “Efficient secure computation enabled by blockchain technology,” Doctoral dissertation, Massachusetts Institute of Technology, Jun. 2016, https://pdfs.semanticscholar.org/5b54/7a7f2e47af79429d9467701538434d8e6b…
[cited by applicant]
Antonopoulos, Andreas M., “Bitcoin and Blockchain”, NTT Publishing Co., Ltd., Jul. 21, 2016, First Edition, and ISBN:978-4-7571-0367-2, pp. 132-145, 188-189, 223-224 and 253-256.
[cited by applicant]