searchindex.js

Search.setIndex({docnames:["2p-lottery","american-option","auction","blockchain-school","compiler","court-seized-btc","index","installation","more-contracts","nutshell","tc","verification"],envversion:{"sphinx.domains.c":2,"sphinx.domains.changeset":1,"sphinx.domains.citation":1,"sphinx.domains.cpp":4,"sphinx.domains.index":1,"sphinx.domains.javascript":2,"sphinx.domains.math":2,"sphinx.domains.python":3,"sphinx.domains.rst":2,"sphinx.domains.std":2,sphinx:56},filenames:["2p-lottery.rst","american-option.rst","auction.rst","blockchain-school.rst","compiler.rst","court-seized-btc.rst","index.rst","installation.rst","more-contracts.rst","nutshell.rst","tc.rst","verification.rst"],objects:{},objnames:{},objtypes:{},terms:{"0":[0,1,2,3,4,5,9,10,11],"00000000":10,"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000":0,"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001":10,"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001":0,"001":[0,4,10],"002":0,"00211666":0,"00241666":0,"003":0,"00425":1,"00453333":[0,10],"00455":1,"00483333":0,"00513333":0,"00816666":10,"00846666":10,"00876666":10,"0091":1,"0094":1,"0097":1,"01":[0,1,4],"0104":4,"01070000000000000":4,"010700000000000001":4,"01569999":0,"02000000000101000225925157edb93dda00c3765d5f6aee486b67737662cf46cb436471c645f918000000171600145093f95239942f953d077e72c495583ed601cc95feffffff0240420f00000000001976a914ded135b86a7ff97aece531c8b97dc8a3cb3ddc7488ac75d513000000000017a91451329a63924dcc4876c6e94c6ad4957cedd115b88702463043022040fc9549ec6b98027dd7f73373317b05dabb2c528f081a00b4e25ed34ca6e91f021f319d47780bb90a61b4e5257f47ccbb52eee736f4897d5b4d5a19b3df5f3ed8012102df8bd0680cb7ecf1f70eef399f9359a025b96fb776055a2150cb":4,"02000000000101000225925157edb93dda00c3765d5f6aee486b67737662cf46cb436471c645f918000000171600145093f95239942f953d077e72c495583ed601cc95feffffff0240420f00000000001976a914ded135b86a7ff97aece531c8b97dc8a3cb3ddc7488ac75d513000000000017a91451329a63924dcc4876c6e94c6ad4957cedd115b88702463043022040fc9549ec6b98027dd7f73373317b05dabb2c528f081a00b4e25ed34ca6e91f021f319d47780bb90a61b4e5257f47ccbb52eee736f4897d5b4d5a19b3df5f3ed8012102df8bd0680cb7ecf1f70eef399f9359a025b96fb776055a2150cbc973def82c116d191700":4,"02000000000101124327402f588c4b46cfa8b1670495bd9f6f57b969212af5b8afe5da191e349f0000000017160014ca98e2fc277b25dfe48db007419b4b6f7eff7cb2feffffff0205f717000000000017a914ffe4b939f7384b08ec04b2f605b0dca4413af16a87e0930400000000001976a914ded135b86a7ff97aece531c8b97dc8a3cb3ddc7488ac024730440220197c12bf078c2bbc8f86ce93cb42042e3d528ee62de5647c1827229fe9b809ef02205e6faf5a1af59aefe493055e2cdc9d435e3524bba1cc9179e343aa8ae311de30012102a0a9937b3273031c28c1c1c4f87d7d89e4d6f973bdb00e6447a708d2c91991b2cd271700":0,"02000000000101adbcf28818d2556fb85ce7f6068775a6a4fd4befe650d3d7d120b609e5af1e920100000017160014a5d12120913a41cdd3be9ef88b60838b8c0db3b7feffffff028ac710000000000017a914664180e7578033f9cef5bc82b3112855f775f02587a0860100000000001976a914ded135b86a7ff97aece531c8b97dc8a3cb3ddc7488ac024730440220290f9526ed5e22d4ae72c66702f5f70dff4c5ea72445cd20112782da1986332e02201d872a0a53fa13b34a9273776dfcd0ea7385e449fec1e95263bdde96fda084e10121021215eb7fabd9bb0c1f1441bf35bade28d9e64dc798a666eb4eaf47e134a7":4,"02000000000101adbcf28818d2556fb85ce7f6068775a6a4fd4befe650d3d7d120b609e5af1e920100000017160014a5d12120913a41cdd3be9ef88b60838b8c0db3b7feffffff028ac710000000000017a914664180e7578033f9cef5bc82b3112855f775f02587a0860100000000001976a914ded135b86a7ff97aece531c8b97dc8a3cb3ddc7488ac024730440220290f9526ed5e22d4ae72c66702f5f70dff4c5ea72445cd20112782da1986332e02201d872a0a53fa13b34a9273776dfcd0ea7385e449fec1e95263bdde96fda084e10121021215eb7fabd9bb0c1f1441bf35bade28d9e64dc798a666eb4eaf47e134a74b446d191700":4,"02000000000101bb536c381e14e1edf2d460d2e0a9ed649da2b61733d0a5d101489c5ba7fba8400100000017160014023b9558d3736f47b3ff16dcb66800ae89fc681dfeffffff025c8c3e000000000017a9140cd0faeac9fd6f23f57e206d170cd9df909e9ac987e0930400000000001976a914ce07ee1448bbb80b38ae0c03b6cdeff40ff326ba88ac02473044022059ed91550240d9da58e3cef4dabc2b2719ce36c5e05a7af35c6c321fd914c5e70220149e461c53c155706ad6b27bf1f6b08f40a2ad3a2f4c23d41481df840caafce7012102407baf142709a99a67a19c6e9ea8af329e5b1cd6ba1d178f0a5fce3a94db8eb9e1271700":0,"02000000000101cc1a7d72cd7c5f64d2e0f34a0f929532b11e18a0802a2cd9d2503fd60b19585e00000000171600149e7b7e6acb6c7d0b613bb3c72f55afc723686683feffffff0240420f00000000001976a914ce07ee1448bbb80b38ae0c03b6cdeff40ff326ba88acfedd33000000000017a914677fd79b9ab537dea966e328afa6fb27d8e9aa3b870247304402201bf5adf5fdea7f1939798fb5acd8a5e75aecddee47a0d101f1113ba5f4a28a3e02205461cd71f3e757d92a0d0635937a13e219508c1be7464473b717e92cf622d642012103fa6e338afbb1bd9ffe0abc107dc15eb38811babac4d2a67fa6b78a2bd38a0809e1271700":0,"02000000000102f28b":9,"02000000000102f28b8e":4,"02000000000102f28b8ec15a48abd9cda80d1c770ff9770dc0c549ddb1b8013b9e50a8799614aa000000001716001412a88716720982b693ab2bd2a2fcd4d98bdd2485feffffff08d59c3aeafd6003e6e099adde64f17d6ec7950619c22b50466281afa782e9d4000000001716001433845a8590dbf145b52bdd777103d1ddfdaa9cedfeffffff022fac1f000000000017a914e9f772646a0b6174c936806dab1b882e750ac04a8740420f00000000001976a914ded135b86a7ff97aece531c8b97dc8a3cb3ddc7488ac02473044022060135384eafe9a8021e8b8c46da20e7cd5713d581c3f79b1da3d2f7860a1bfed02206ca1ac1616d7ab778bcbb235b4b24286c2181ec171b8cadeaa9ee5f4f78fd330012102d5f8f263a81427330e7f26ba5832a2cd01e960bf145be2101bc0b6bb0fde8c2d0247304402200e02da2228774b47ff03a5a7c1bf1d070d0cec6cd9a08d6862e1855ba33dfb9f0220011511f10aaefbf402b2944b6a877c1ff9890a7fc3e266bbb74318b4540c555d012103ef2a573fbd46356dcbdbedcecc9aa25dcb500512e2be394297475ed157a9cfc6bdb51600":9,"02000000013ea7dd4d036b9a3048992e9c7e4b8c054e7949d08d233005aa79c50ee92ff0a800000000e3483045022100f956e4b07562a209662b42ab0b6d26784de59470d992a542c207e74bf03776d5022071a5089744aa25316d29cb9d1e9bd28f5f50eba6c2c5b57177bf0a17c35308a601463043021f26ce5a6c343fcb5edf3a06dbb95006cbf063393ec7b5beebd16e2c8120c059022015c4afec46a1c04d1dcfbf8e414d9f83d0a008c91b1a96f6b499edec2b8d1d48014c516b6b006c766c766b7c6b5221034a7192e922118173906555a39f28fa1e0b65657fc7f403094da4f85701a5f809210339bd7fade9167e09681d68c5fc80b72166fe55bbb84211fd12bde1d57247fbe152aeffffffff01d5ea0600000000001976a914ded135b86a7ff97aece531c8b97dc8a3cb3ddc7488ac00000000":10,"020000000193c18c921ed3947b862c746ddfe8a8b7459da00825822e09b95c61aaedc71dbf00000000e347304402204b77785e510ab83746732ce435e28a0e46d415ed0ebb8de407c45c66824530bf02202fdf08cd26b5ce376bcb215fe974dddc413be3b74b87e8beae27b1d812c3869d01473044022071b0ced4dd60799531eefe4e61892602637897a18f69f4e5cec22247c59b6c770220768ecc22e772477c8bbd762366d121b0b3d48a3b91334e1a369bbd848373fde3014c516b6b006c766c766b7c6b52210339bd7fade9167e09681d68c5fc80b72166fe55bbb84211fd12bde1d57247fbe121034a7192e922118173906555a39f28fa1e0b65657fc7f403094da4f85701a5f80952aeffffffff01a0bb0d00000000001976a914ce07ee1448bbb80b38ae0c03b6cdeff40ff326ba88ac00000000":9,"0200000001c75e1b501f7a1691b16d06398b4235ab35e11ccda3c3f9160d68739c84d435ed00000000e4483045022100ad5f0022e6ae8e789a97ca9497b8d307690b96ddbfcdf822711b1983b328d26702204f276374584292322c1ad33dc7b67600673ace464e9c60990de7a0123933803c014730440220055c42ae93321b4061055c782be11d3392c84ff34b1d4fbbe3a9e208f63518170220231d7712a4d36e5397264bfc8db89fd1d13d64937ee886fb9872f260bf979760014c516b6b006c766c766b7c6b5221034a7192e922118173906555a39f28fa1e0b65657fc7f403094da4f85701a5f809210339bd7fade9167e09681d68c5fc80b72166fe55bbb84211fd12bde1d57247fbe152aeffffffff01d5ea0600000000001976a914ded135b86a7ff97aece531c8b97dc8a3cb3ddc7488ac00000000":10,"021927aa11df2776adc8fde8f36c4f7116dbfb466d6c2cd500ae3eabc0fcfb0a33":[3,5],"022c3afb0b654d3c2b0e2ffdcf941eaf9b6c2f6fcf14672f86f7647fa7b817af30":[2,11],"029c":9,"029c5f6f5ef0095f547799cb7861488b9f4282140d59a6289fbc90c70209c1c":[2,9,11],"02c44cefb7238a9c0be51d2e7a84ae7cde17af2280b74971ac90a98d0eb1718c99":5,"03101e19883cef323b85a53ce580bb5c7545ff024294c74cf2ee7931ab09c931b2":5,"0316589526daa876ef27937e48176da08fc95eaef7315fa20a07114d5fb8866553":9,"031816ff0d211cc5d1a622777a6e0b10c0b47c43878698e8c515c129ba9ad6e8a9":5,"031e07b49510143758597198e5f86bebf26ab453446583a0ea8c8954aaae2f06e3":5,"0339bd7fade9167e09681d68c5fc80b72166fe55bbb84211fd12bde1d57247fbe1":[0,1,3,4,5,10,11],"034a7192e922118173906555a39f28fa1e0b65657fc7f403094da4f85701a5f229":5,"034a7192e922118173906555a39f28fa1e0b65657fc7f403094da4f85701a5f809":[0,1,3,4,5,10,11],"034a7192e922118173906555a39f28fa1e0b65657fc7f403094da4f85701a5f819":5,"034a7192e922118173906555a39f28fa1e0b65657fc7f403094da4f85701a5f829":[3,5],"034f5ca30056b9dd89132ca8c7583e6d82b69bc17bb2c1dfef9dea9c3467631e6b":11,"037b60c121050e1fa6e7d5cd299ecc66d87330b2996567004f831c63ef0e2a157":11,"03860d4170fe9ad3f474e18c897a12c1cb3bdeb4bfa2ce6f7c8d99bc81f5c9cef1":5,"03b6ef11dfdb271265c814938e17b9a53100651741f99f3b59a3291a79f665ae78":5,"03c7e157beee3815300c678840988713c9928d986b26fe0dc2533f304c19268a2f":9,"03cf4d421345caf86c64554b3b5bd25346a115404977f82de81d281a2825629e0d":5,"05":1,"0512e2be394297475ed157a9cfc6bdb51600":4,"05425":1,"05455":1,"06":[3,5],"08f24c84628641fecf0f33f013dbdc24c507530282cfb3c5eff97c6c2d502e59":0,"0f795bda36ac661f2b9a626d46049bc14b95b2d0e69f5fb7ccc4c3d767db9f34":11,"1":[0,1,2,4,9,10,11],"10":[2,5,6],"100000000":11,"10395":1,"104":11,"10425":1,"1125":6,"1145":6,"12":9,"122":6,"128":[0,10],"134":11,"139a7b529cb5b91ab54257abf22797b25700430f0cc49bf69324fc1d07827ad2":10,"14":[3,5],"143":11,"1500000":0,"155000":10,"1550000":[1,10],"155000000":2,"155100000":2,"16":7,"160000000":[1,3,5],"18":9,"1st":9,"2":[0,2,9,11],"20":5,"2017":9,"2018":6,"2019":[3,5,6],"270":11,"27th":6,"2e647d8566f00a08d276488db4f4e2d9f82dd82ef161c2078963d8deb2965e35":11,"304402202c47c0fb3d196074541d30e3d3680e1206f50d7abbf4431436f34423297729ba022022d7f5e5864eee01b721a2db695a58c1b586929f750d299b2a41122d62b247c001":10,"304402204adabfd7e29232148e3fa6a4bd8d3d3dd8fe6d5a9db8c77eec79fb556addb82b0220230c05987f38db659f9d1168ed7083a4ed602d44ba789c5ef903241e4577f6d501":10,"304402205f97481078e6b4579798a0233d0451cda9c905ae37adab483229d3034089e08302207ce6d7207a913aab50247f5961347e87802c28eb11a6aa9f45e0f9c92664e8ba01":10,"30450221008e8cf2da8535b488dab5234a8a6cc942d4f3dbbf0993a0be77aa5d80f520c1fa02203e407d58fe6dc8eeca8478c9c0c0e43e5cc2b25567716489f8358b157aa9dacc01":10,"3045022100a81265cba65ad2fd793d241210ab194629efe41126673130cc40297c9d177c250220161c6087dcbb5957c21c2b415312eded883ed80964e6976e2559976e5cf21d6101":10,"3045022100bcd87e903813a49e9c598c561a952ee26ceec4ac010644c6dd0055a518058c0d02201e35953d7f7c50244a8eeb0b289c387167f2fd9096e7f7f16dcb2501de8e658b01":10,"3045022100c58572e8e1818ebbef2111da049a27f93cac791fc9d881acc48e43075382f8fb022032b2ff112f414463f884ccfcf427b4c952826e338779de63c3055d57b6ab89a501":10,"3045022100fff909e25bcc800deebce554eb24b68080f2b02290b41076ad5cfb8b026453740220725b65455de27a643d74ac2deeccc3cb2bb3ba5c486bd19a2fc7c9034228e0f801":10,"322":11,"3338906":6,"3341173":6,"4":2,"408":11,"4297475ed157a9cfc6bdb51600":9,"46ceb75f2261c9879fac0192547dceb35123ee5188158fe7cbb1ca6200e7cefb":10,"4965":2,"4b446d191700":4,"5":9,"500000":9,"510000":9,"625bc69c467b33e2ad70ea2817874067604eb42dd5835403f54fb6028bc70168":11,"6e1fd285cab75985de9b52a6068e67bc074d80e81baac72bb741004333df1f8":10,"700000":[9,11],"72c38df85cb8deb2a89d9af937662ccad7b1c851513ae719b4e6195ae85ec62d":0,"8155fd05caed8599d35df7c3fde80a17242cff78653b1929a3f761d9a7507701":0,"835b2e52bb1b0c903025c86c4469d3f62ab888118bf0f56c7bbc196ffac9e350":0,"9":[1,3,5,9],"95":1,"95425":1,"95455":1,"9804ebb0fc4a8329981dd33aaff32b6cb579580a":11,"9f3df038eeadc0c240fb7f82e31fdfe46804fc7c":10,"\u03b7":9,"byte":9,"case":[5,9,11],"const":[0,1,2,4,5,10],"default":[1,2],"do":[2,3,5,6,11],"final":[1,11],"function":[4,5],"na\u00efv":9,"new":11,"public":[3,4,5,9,10],"return":[1,3,5,11],"short":6,"true":[2,11],"try":11,"void":2,"while":[9,10],A:[0,1,2,3,4,5,6,9,10,11],AND:[3,5],As:11,At:[2,3,5],For:[0,3,7,9,11],If:[1,2,3,4,5,9,11],In:[0,4,5,6,9,10,11],It:5,Of:9,The:[0,1,2,3,4,6,9,10,11],Then:10,There:[3,5,11],These:2,To:[0,3,4,7,9,11],_:[0,1,2,4,5,10],a1:[3,5,9],a2:[3,5,9],a8f02fe90ec579aa0530238dd049794e058c4b7e9c2e9948309a6b034ddda73:0,abl:[9,10],about:7,abov:[3,4,5,9],abslock:[0,2,10],accept:11,accompani:6,accord:9,achiev:0,acm:6,action:[2,9],activ:[3,5],actor:[3,5],actual:[4,9],ad:[0,4,10,11],add:[1,2,4,9,11],advanc:[3,5],advertis:9,after:[0,1,2,3,5,9,10,11],again:7,agre:[3,5,9,11],al:0,alic:0,all:[9,10,11],allow:[1,9,11],alon:[3,5,11],also:[3,5,6,9,10,11],alter:10,alwai:11,american:6,americanopt:1,amount:[5,9,11],an:[0,1,2,4,5,6,7,9],andrychowicz:0,ani:[3,5,11],anoth:[3,5,9],anymor:10,anyon:11,anytim:1,anywher:3,append:[9,10,11],applic:10,ar:[0,1,2,4,6,9,10,11],arbit:9,arbitrari:11,ask:9,assign:11,assimil:9,associ:9,assum:[9,10,11],attack:[6,9],attempt:9,atzei:6,auction:6,auth:[1,2,3,5,9,11],author:[3,5,11],authoris:1,auto:0,auxiliari:9,avail:9,avoid:[3,9],awai:10,b1:[3,5,9],b2:[3,5,9],b472a266d0bd89c13706a4132ccfb16f7c3b9fcb:[0,10],b:[0,2,3,4,5,9,10,11],back:[1,2,9,11],balanc:[0,1,3,5,9,11],balzac:[0,10],bartoletti:6,base:6,basic:9,becaus:[9,10,11],been:9,befor:[0,1,2,3,5,9,11],begin:[2,7],behaviour:[9,11],being:11,below:[9,10],besid:9,bet:[0,2],between:[0,1,2,9,11],bid:2,bidder:2,birthdai:9,bitcoin:[0,3,6,9,10,11],bitml:[0,1,2,5,7,8,10],block:[0,1,2,3,4,5,9,10,11],blockchain:[0,6,9,10,11],bob:0,both:[9,11],bottom:[4,10],box:11,branch:[9,11],brute:9,btc:[0,1,2,3,4,5,9,10,11],bui:[2,9],button:4,c1:[3,5],c2:[3,5],c51b66bced5e4491001bd702669770dccf440982:0,c973def82c116d191700:4,c:[3,5,9,11],cagliari:6,calculu:6,call:11,can:[0,1,2,3,4,5,6,7,8,9,10,11],cancel:1,cannot:[10,11],capabl:7,care:[3,5],cc:6,cced:9,ccs18:[6,9],cd:7,certain:[1,9,11],chain:[5,11],chang:4,check:[0,1,2,3,5,8,10,11],checkdat:5,checker:6,choic:[0,1,2,5,9,10,11],choos:[1,9,10,11],chose:1,chosen:[0,10],clone:7,cn14mnfwof1y4zfkcqxbyf2c7ghywxpkdbgritsusgbhz2fwxajq:5,cnogesgnt1k2cedvwpkupxrcyslpwgg254n1fwwjzcgrhneipv8i:5,code:[3,4],coher:10,coin:0,collater:6,com:7,combin:11,command:[4,9],comment:11,commit:[0,6,9,11],compens:11,compil:[0,1,2,6,7,9,10,11],complet:[0,10],complex:9,comput:[0,4,6,10],computation:6,confer:6,confirm:11,consist:11,constant:[3,10],construct:9,contain:[4,10],contract1:1,contract2:1,contract:[0,1,2,7,9,10],contractnam:3,contribut:[6,9,11],control:9,cooper:11,cope:9,corner:4,correct:4,correspond:[10,11],could:[9,11],counterexampl:11,cours:9,court:6,cpkojhyv4txppnmb8ywetmheygnlnwhjwrt4j1bff16mn6j22qdi:5,craft:9,creat:6,cs:6,csaajg2jrhatr4tjvq2ax9pe5th2gr8vairlvnptpqm22upvfsg:5,ct5ptolpfksndbmnwdbhwppxyjysp91hgt9ayxh1z6kng7eigwtg:5,cunbmkccvtpuvcfwajjbef9uqaenjmcrm6vasw1vj3zkiaoageuh:4,cur:[3,5],curat:[3,5],currenc:4,custodi:3,custom:6,cw85h1zxaqcuv3xbvwjyv2fk53r93rywxr6halqxg6cccdye6hwp:5,d:[9,11],date:9,deadlin:[1,2,3,5,9,11],deal:9,debug:[0,1,2,3,4,5,9,10,11],decid:[3,5],decis:[3,5],declar:[9,10],defend:[3,5],defin:[0,1,2,3,4,5,9,10,11],definit:9,delai:[10,11],delta:11,demand:9,demonstr:[6,7],deni:9,denot:9,depend:11,deposit:[0,1,2,3,4,5,10,11],describ:[0,3,4,5,6],design:[5,9],desir:11,destroi:11,detect:6,determin:0,develop:6,differ:[9,10,11],directli:5,disput:9,dl:6,doe:[0,1,9,10,11],doesn:[1,10],doi:6,domain:6,don:[4,5],donat:[9,11],done:2,download:7,drracket:[4,6,7],dual:10,due:11,dure:[9,11],e94be8d58c1839e5649ac5a5c50dd114b235bc99338c7766c15e2a1a858fc8e7:0,e:[6,9,10,11],each:[0,2,4,9,11],ed35d4849c73680d16f9c3a3cd1ce135ab35428b39066db191167a1f501b5ec7:0,editor:[4,10],edu:6,effect:11,either:[1,4,9,11],empti:11,enabl:9,end:11,engin:6,enough:9,ensur:[0,9],entir:[3,5],eprint:6,equal:[0,9],es:6,escrow:9,esec:6,especi:11,et:0,european:6,eval:[0,4,5,10],evalu:[4,10],even:11,eventu:11,everyth:9,exampl:[0,3,5,7,8,9],exchang:9,exclus:9,execut:[0,1,4,7,9,10,11],exercis:1,expect:[1,9],exploit:[1,4,9],explor:4,express:[4,5,11],extra:9,f7097c3523aecc62dc97c790f1b276db9fc662f7a4b13fd548093ff11a09d33d:0,f9292914bfd27c426a23465fc122322abbdb63b7:[9,11],fact:11,fail:1,fair:0,fals:11,far:9,favour:5,featur:9,fee:[0,1,3,4,5,9,10],file:[4,7,10],financi:1,find:[4,7],first:[0,2,3,5,9,10,11],firstli:4,flavour:11,flip:0,flow:[3,5],folder:7,follow:[0,3,4,9,10,11],forc:9,forev:11,forfeit:2,forget:4,foundat:6,fridai:[3,5],from:[0,1,2,3,5,9,10],frozen:[6,9,11],fse:6,full:9,fun:[0,1,2,4,5,10],fund:[1,3,6,9,11],further:9,g:[9,10,11],gambl:10,game:10,gather:9,gener:[0,9],get:[0,1,3,5,6,9,11],git:7,github:7,give:[9,11],given:[1,9],goe:[1,3,5,9],greater:[4,9],group:6,guarante:[9,10,11],ha:[2,3,5,9,10,11],handl:[3,5,9,11],hash160:[0,9,10],hash:[0,9,10],have:[0,3,4,5,9,10,11],hb:2,he:[10,11],height:9,henc:[5,11],her:[1,4,9,10,11],here:[3,4,7],hi:[3,5,9,10,11],high:4,highest:2,him:[3,5],hit:4,hold:[2,4],honest:[9,11],how:0,howev:[9,11],http:[6,7],hypothet:5,i:[1,6,9,11],iacr:6,id:[0,6,7,10],ideal:11,ident:[3,5],ii:9,illeg:[3,5],illinoi:6,illustr:9,immedi:1,implement:[1,3,4,5,6],impos:9,increas:9,inde:11,independ:0,index:[6,9],init:[0,10],initi:9,innoc:[3,5],input:[0,1,2,4,5,10],instanc:9,instanti:1,instead:[9,11],integr:6,intend:[6,10,11],interest:11,intermediari:9,intern:11,interpret:4,introduc:[6,9],intuit:11,invert:0,invest:1,investor:1,invok:1,involv:[0,9],issu:9,issuer:1,italian:5,item:[2,9],its:[0,6,9,11],itself:9,joint:6,judg:[3,5],judgment:[3,5],juri:[3,5],juror:[3,5],just:9,kei:[3,4,5,9,10],know:[5,10,11],known:[3,5],land:6,landlord:9,lang:[0,1,2,3,4,5,6,7,10,11],languag:[4,6],larg:9,last:[4,5,9],lb:2,learn:7,least:5,length:9,less:[2,9,11],level:[4,5,6],life:9,like:6,line:4,liquid:[0,1,2,3,5,6,10],lock:[1,3,5,9,11],lockauthcontrol:11,lockauthrev:11,log:7,login:7,look:7,lose:9,lotteri:6,low:5,lowest:2,ltl:6,m:6,mai:9,mainnet:[4,6],major:[3,5],make:9,manag:5,mani:[9,11],maud:6,me:2,mean:6,meant:5,meet:6,member:[3,5],mine:9,minu:1,mode:[0,1,2,3,4,5,9,10,11],model:[2,6,9,11],modif:3,modifi:[9,11],monei:9,month:9,more:[5,6,7,9,11],mostli:8,move:[5,10],ms:[2,11],multiparti:0,multipl:3,must:[3,5,9,11],mutual:9,n:6,naiv:9,name:[0,9,10],need:[3,4,5,9],needless:5,neither:[9,11],network:[4,10],never:[6,9],newer:7,nil:11,non:11,nor:[9,11],note:[5,9],now:[2,4,9,10,11],number:11,nutshel:[6,7],o:9,obtain:[4,10],off:7,omit:[3,5],one:[0,2,3,5,9],ones:10,onli:[1,3,5,6,9,11],onlin:10,open:[6,7,10],oppos:[3,5],option:6,oracl:9,order:11,org:6,other:[2,9,10,11],otherwis:[0,1,2,9,10,11],out:[3,5,6,8],outcom:10,output:[0,1,2,4,5,9,10],outsid:9,overview:7,own:[4,6,9,11],owner:2,pai:[0,1,2,9,10],paid:9,paper:[0,6],parallel:9,paramet:[1,3,5,9,11],parametr:1,part:[1,3,5,9],particip:[0,1,2,3,4,5,9,10,11],particular:[3,5],pass:[1,11],past:[4,10],paysecret:9,pdf:6,penalti:[1,10],perform:[3,5,9],persist:9,phase:[0,10],php:6,pictur:4,piec:3,plai:9,player:[6,10],portion:11,possibl:[2,9,10,11],post19:6,post:6,pre:[0,1,2,3,4,5,7,9,10,11],precondit:[4,9],pred:[0,9],predic:9,preimag:9,preprint:6,present:[6,9],press:4,prevent:10,previou:[4,9,11],price:2,primit:9,principl:6,print:11,priori:9,priva:[0,10],privat:4,privb:[0,10],privkeya:[4,5],privkeyb:5,privkeyc:5,privkeycur2:5,privkeycur:5,privkeyt:5,problem:9,proce:1,proceed:6,progress:2,project:6,properti:[6,11],proprieti:11,protocol:10,provid:[4,9,11],pubkei:[0,1,2,4,5,10],pubkeya10:0,pubkeya11:[1,2],pubkeya12:0,pubkeya13:1,pubkeya14:[0,2],pubkeya15:1,pubkeya16:0,pubkeya17:2,pubkeya18:0,pubkeya1:1,pubkeya20:[0,2],pubkeya23:2,pubkeya26:2,pubkeya29:2,pubkeya2:[0,2,4,10],pubkeya32:2,pubkeya35:2,pubkeya38:2,pubkeya3:1,pubkeya41:2,pubkeya44:2,pubkeya47:2,pubkeya4:[0,10],pubkeya5:[1,2],pubkeya6:[0,10],pubkeya7:1,pubkeya8:[0,2],pubkeya9:1,pubkeya:[0,1,2,4,5,10],pubkeyb10:2,pubkeyb11:0,pubkeyb13:[0,2],pubkeyb15:0,pubkeyb16:2,pubkeyb17:0,pubkeyb19:[0,2],pubkeyb1:[0,2,4,10],pubkeyb22:2,pubkeyb25:2,pubkeyb28:2,pubkeyb31:2,pubkeyb34:2,pubkeyb37:2,pubkeyb3:[0,10],pubkeyb40:2,pubkeyb43:2,pubkeyb46:2,pubkeyb4:2,pubkeyb5:[0,10],pubkeyb7:[0,2],pubkeyb9:0,pubkeyb:[0,2,4,5,10],pubkeyc:5,pubkeycur2:5,pubkeycur:5,pubkeyi10:1,pubkeyi12:1,pubkeyi14:1,pubkeyi16:1,pubkeyi2:1,pubkeyi4:1,pubkeyi6:1,pubkeyi8:1,pubkeyi:1,pubkeys12:2,pubkeys15:2,pubkeys18:2,pubkeys21:2,pubkeys24:2,pubkeys27:2,pubkeys30:2,pubkeys33:2,pubkeys36:2,pubkeys39:2,pubkeys3:2,pubkeys42:2,pubkeys45:2,pubkeys48:2,pubkeys6:2,pubkeys9:2,pubkeyt:5,publish:[4,6,10],purpos:[6,9],put:[0,1,7,9,10,11],queri:3,r:6,racket:[4,6],rais:2,random:0,rather:9,read:7,real:9,receiv:[9,10],recent:5,recipi:11,recov:9,redeem:[3,4,5,9,10,11],ref:[0,1,2,3,4,5,9,10,11],refer:[0,2,9],referenc:9,refin:9,refund:9,refus:11,remain:[6,11],remov:[0,10],rent:9,repeat:3,repositori:[6,7,8],repres:9,represent:11,requir:[0,4,10,11],research:6,resolv:9,respect:11,result:[1,2,11],retain:9,retract:1,reus:9,reveal:[0,10,11],revealif:[0,9],revel:10,rifl:11,right:[4,10],risk:[4,6],role:0,round1:5,round2:5,round:[2,3,5],rout:9,rule:[5,9],run:[2,4],runningauction1:2,s1:5,s2:5,s:[0,1,2,3,5,6,11],sa:[0,1,2,4,10],sai:5,sake:0,same:[3,4,9,10,11],satisfi:11,satoshi:11,sb:[0,2,4,10],scale:6,scenario:9,script:7,scur:5,sec_a:[0,10],sec_b:0,second:[0,3,5,9,11],secret:[0,2,10,11],secretli:0,secur:[0,6,9,11],see:[9,11],seen:9,seiz:[3,6],sell:2,seller:2,semant:[6,9,11],send:[3,4,5,10],sent:2,separ:0,seri:[5,9],serial:[4,9],servic:[3,5],set:[5,9,11],sh:7,she:[1,3,4,5,9,10,11],shouldn:10,show:[4,11],si:1,side:0,sig:[0,4,5,10],siga0:[1,4,10],siga1:2,sigafe:[1,4,10],sigat10:[1,2],sigat11:[1,2],sigat12:2,sigat13:2,sigat14:2,sigat15:2,sigat16:2,sigat17:2,sigat18:2,sigat19:2,sigat1:[1,2,4,10],sigat20:2,sigat21:2,sigat22:2,sigat23:2,sigat24:2,sigat25:2,sigat26:2,sigat27:2,sigat28:2,sigat29:2,sigat2:[1,2,10],sigat30:2,sigat31:2,sigat32:2,sigat33:2,sigat34:2,sigat35:2,sigat36:2,sigat37:2,sigat38:2,sigat39:2,sigat3:[0,1,2,10],sigat40:2,sigat41:2,sigat4:[1,2],sigat5:[1,2],sigat6:[0,1,2],sigat7:[1,2],sigat8:[1,2],sigat9:[1,2],sigb0:2,sigbt10:2,sigbt11:2,sigbt12:2,sigbt13:2,sigbt14:2,sigbt15:2,sigbt16:2,sigbt17:2,sigbt18:2,sigbt19:2,sigbt1:[2,4,10],sigbt20:2,sigbt21:2,sigbt22:2,sigbt23:2,sigbt24:2,sigbt25:2,sigbt26:2,sigbt27:2,sigbt28:2,sigbt29:2,sigbt2:[2,10],sigbt30:2,sigbt31:2,sigbt32:2,sigbt33:2,sigbt34:2,sigbt35:2,sigbt36:2,sigbt37:2,sigbt38:2,sigbt39:2,sigbt3:[0,2,10],sigbt40:2,sigbt41:2,sigbt4:2,sigbt5:2,sigbt6:[0,2],sigbt7:2,sigbt8:2,sigbt9:2,sigit10:1,sigit11:1,sigit1:1,sigit2:1,sigit3:1,sigit4:1,sigit5:1,sigit6:1,sigit7:1,sigit8:1,sigit9:1,sign:4,signatur:[0,1,2,3,4,5,10],sigsac:6,sigst10:2,sigst11:2,sigst12:2,sigst13:2,sigst14:2,sigst15:2,sigst16:2,sigst17:2,sigst18:2,sigst19:2,sigst1:2,sigst20:2,sigst21:2,sigst22:2,sigst23:2,sigst24:2,sigst25:2,sigst26:2,sigst27:2,sigst28:2,sigst29:2,sigst2:2,sigst30:2,sigst31:2,sigst32:2,sigst33:2,sigst34:2,sigst35:2,sigst36:2,sigst37:2,sigst38:2,sigst39:2,sigst3:2,sigst40:2,sigst41:2,sigst4:2,sigst5:2,sigst6:2,sigst7:2,sigst8:2,sigst9:2,sigx:1,similar:[0,3,5],simpl:4,simpli:9,simplic:0,sinc:9,singl:9,sip:6,situat:[9,11],size:[0,10],skeleton:3,smart:[3,5,9,11],smoothli:9,so:[2,3,4,5,9,10,11],softwar:6,solut:11,some:[3,9,10,11],someon:[3,5],someth:[3,5],sound:6,sourc:6,specif:[6,10,11],specifi:[0,4,11],spend:[9,10],split:[0,1,2,3,5,11],ss:[2,5],standard:6,start:[1,2,4,6,10,11],state:9,step:[9,10],stipul:[1,4,9],storag:5,strategi:[2,3,5,6],string:[0,4,10],stuck:11,sub:[0,1],subcontract:[0,1,9],suffici:[3,5],summat:9,suppli:[3,5,11],suppos:9,sure:9,suspect:[3,5],symbol:6,symposium:6,syntax:9,t10:[0,1,2],t11:[0,1,2],t12:[0,2],t13:[0,2],t14:[0,2],t15:2,t16:2,t17:2,t18:2,t19:2,t1:[0,1,2,4,5,9,10],t20:2,t21:2,t22:2,t23:2,t24:2,t25:2,t26:2,t27:2,t28:2,t29:2,t2:[0,1,2,5,10],t30:2,t31:2,t32:2,t33:2,t34:2,t35:2,t36:2,t37:2,t38:2,t39:2,t3:[0,1,2,10],t40:2,t41:2,t4:[0,1,2],t5:[0,1,2],t6:[0,1,2],t7:[0,1,2],t8:[0,1,2],t9:[0,1,2],t:[1,3,4,5,9,10],tailor:11,take:[7,9,10],taken:9,tau:[1,2,5],testnet:[0,4,10],than:[4,9,11],the_maude_system:6,thei:[5,10,11],them:[4,9,10,11],thi:[0,1,2,3,4,5,7,9,10,11],third:0,three:[0,3,5,9],through:[4,9,10],time:[0,1,2,3,5,6,9,11],timelock:10,timeout:[2,11],tinit:[0,1,2,4,5,10],togeth:9,tool:11,toolchain:[7,11],trail:9,transact:[0,1,2,6,9,10,11],transfer:[4,9,11],translat:6,tribun:3,trust:[5,6,9],tutori:4,two:[1,2,3,4,5,6,9,11],tx:[0,4,9,10],txa1:9,txa2:9,txa:[0,1,2,4,9,10,11],txb:[0,2],txfee:[0,1,4,10],txi:1,txid:[3,5,11],u:11,ubuntu:7,ucm:6,unavail:11,unblock:9,uncom:8,under:9,unica:6,uniformli:0,univers:6,unlock:[10,11],until:[3,5,9,10,11],up:1,upfront:9,upon:9,upper:4,urgent:9,us:[1,2,3,4,5,6,9,10,11],valu:[4,9,10,11],variabl:9,verif:11,verifi:[1,2,3,4,5,6],versig:[0,1,2,4,5,10],veto:5,video:[6,7],view:0,virtualbox:7,vol:[1,9],w:6,wa:[5,9],wait:10,want:[4,9,10,11],warn:2,watch:7,we:[0,1,2,4,5,6,9,10,11],web:4,welcom:6,what:[3,5],when:[9,10,11],whenev:9,where:[1,5,9,10,11],whether:[1,9,11],which:[1,2,3,4,5,6,9,11],who:[0,1,2,4,9],whole:[1,9],willing:9,win:2,window:4,winner:0,withdraw:[0,1,2,3,4,5,9,10,11],withdrawn:9,within:[9,11],without:[0,9,11],wonauction1:2,wonauction2:2,work:4,would:11,write:[3,4,7],x:[0,1,2,4,9,10],xconf:11,yet:5,yoshida:6,you:[3,4,5,6,7,8,9,11],your:[3,4,6,7,11],zunino:6},titles:["Two players lottery (with collaterals)","American Option","Auction","Case study","Compiling BitML contracts","Court-seized bitcoins","BitML Toolchain","Getting started","More contracts","BitML in a nutshell","Timed commitment","Verifying BitML contracts"],titleterms:{"1":[3,5],"2":[3,5],"3":[3,5],"4":3,"case":3,"final":[3,5],The:5,alic:10,american:1,auction:2,author:9,balzac:[3,4,5],basic:[3,5],bitcoin:[4,5],bitml:[3,4,6,9,11],bob:10,boss:[3,5],collater:0,commit:10,compil:4,content:6,contract:[3,4,5,6,8,11],court:5,custom:11,deposit:9,exercis:3,extend:[3,5],extra:5,from:4,get:7,imag:7,instal:7,liquid:11,lotteri:0,ltl:11,machin:7,manual:7,more:8,next:7,nutshel:9,option:1,payment:9,player:0,procrastin:9,quantit:11,queri:11,refer:6,reveal:9,s:10,secret:9,seiz:5,simpl:9,smart:6,split:9,start:7,step:[5,7],strategi:11,studi:3,time:10,toolchain:6,transact:[3,4,5],tutori:6,two:0,verifi:11,view:10,virtual:7,volatil:9,work:[3,5]}})