[{"_1":2,"_673":-5,"_674":-5},"loaderData",{"_3":4,"_18":19},"root",{"_5":6,"_7":6,"_8":9,"_10":11,"_12":13,"_14":15,"_16":17},"isProd",true,"enableStats","domain","hyper.media","siteHost","ui-with-state-machines.hyper.media","sentryTrace","f193393e94bb4566b71d7e79c23300d7--0","sentryBaggage","sentry-environment=production,sentry-trace_id=f193393e94bb4566b71d7e79c23300d7,sentry-sampled=false","remixVersion",2,"routes/$",{"_20":21,"_588":589},"json",{"_22":23,"_24":25,"_26":27,"_28":-5,"_29":-5,"_30":31,"_32":-5,"_33":34,"_127":6,"_44":128,"_139":140,"_141":142,"_575":576,"_577":31,"_10":578,"_579":578,"_580":581,"_583":584},"prefersLanguages",[],"viewTerm","activity","panelParam","activity/citations","openComment","accountUid","isInspect",false,"inspectTab","document",{"_35":36,"_104":47,"_105":106,"_107":108,"_109":110,"_111":112,"_113":112,"_114":115,"_118":119,"_120":47,"_121":122,"_125":126},"content",[37,56,72,83],{"_38":39,"_40":41},"children",[],"block",{"_42":43,"_44":45,"_46":47,"_48":49,"_50":51,"_52":53,"_54":55},"type","Paragraph","id","5LlAEp9Z","revision","bafy2bzacedcmcgdvm6gazawxh2s3rd2bx6c3whsllxzrydpttnp5zkzmcsbvk","attributes",{},"annotations",[],"text","Mark S. Miller1, Tom Van Cutsem2, and Bill Tulloh","link","",{"_38":57,"_40":58},[],{"_42":43,"_44":59,"_46":47,"_48":60,"_50":61,"_52":71,"_54":55},"tujwccLO",{},[62],{"_42":63,"_64":65,"_67":68,"_48":70,"_54":55},"Bold","starts",[66],0,"ends",[69],8,{},"Abstract. Contracts enable mutually suspicious parties to cooperate safely through the exchange of rights. Smart contracts are programs whose behavior enforces the terms of the contract. This paper shows how such contracts can be specified elegantly and executed safely, given an appropriate distributed, secure, persistent, and ubiquitous computational fabric. JavaScript provides the ubiquity but must be significantly extended to deal with the other aspects. The first part of this paper is a progress report on our efforts to turn JavaScript into this fabric. To demonstrate the suitability of this design, we describe an escrow exchange contract implemented in 42 lines of JavaScript code.",{"_38":73,"_40":74},[],{"_42":43,"_44":75,"_46":47,"_48":76,"_50":77,"_52":82,"_54":55},"6KUzV1Qy",{},[78],{"_42":63,"_64":79,"_67":80,"_48":81,"_54":55},[66],[69],{},"Keywords: security, distributed objects, object-capabilities, smart contracts.",{"_38":84,"_40":92},[85],{"_38":86,"_40":87},[],{"_42":43,"_44":88,"_46":47,"_48":89,"_50":90,"_52":91,"_54":55},"NBw2Rxx_",{},[],"The fabric of the global economy is held together by contracts. A contract is an agreed framework for the rearrangement of rights between mutually suspicious parties. But existing contracts are ambiguous, jurisdictions-specific, and written, interpreted, and adjudicated only by expensive experts. Smart contracts are contract-like arrangements expressed in program code, where the behavior of the program enforces the terms of the “contract”[1]. Though not a substitute for legal contracts, they can provide some of the benefits of contracts for fine-grain, jurisdiction-free, and automated arrangements for which legal contracts are impractical. To realize this potential, smart contracts need a distributed, secure, persistent, and ubiquitous computational fabric. To avoid merely substituting one set of expensive experts for another, non-experts should be able to write smart contracts understandable by other non-experts. We1 are working towards turning JavaScript into such a fabric. JavaScript is already understood and used by many non-expert programmers. We call our target JavaScript platform Dr. SES for Distributed Resilient Secure EcmaScript. 2 Dr. SES is not specifically tied to electronic rights (erights) or smart contracts per se. Its focus is to make distributed secure programming in JavaScript as effortless as possible. But much of the design of Dr. SES and its predecessors [2,3,4] was shaped by examining what we need to express smart contracts simply. Taking a rights-based approach to local and distributed computing, we believe, has led us to building a better general purpose platform as well as one naturally suited for expressing new kinds of erights and contracts.",{"_42":43,"_44":93,"_46":47,"_48":94,"_50":97,"_52":103,"_54":55},"V4liDAZK",{"_95":96},"childrenType","Group",[98],{"_42":63,"_64":99,"_67":100,"_48":102,"_54":55},[66],[101],34,{},"Smart Contracts for the Rest of Us","version","account","z6MkrvYZzMYaCxyjbFWsZicdPCrcVmiXvgeY3i65GERQjjoH","authors",[106],"path","/records/distributed-electronic-rights-in-javascript","createTime","2024-11-15T10:03:49.267Z","updateTime","metadata",{"_116":117},"name","Distributed Electronic Rights in JavaScript","detachedBlocks",{},"genesis","generationInfo",{"_120":47,"_123":124},"generation","1731665029267","visibility","PUBLIC","isLatest",{"_109":129,"_104":47,"_132":6,"_133":106,"_44":134,"_135":-5,"_136":-5,"_137":-5,"_138":-5},[130,131],"records","distributed-electronic-rights-in-javascript","latest","uid","hm://z6MkrvYZzMYaCxyjbFWsZicdPCrcVmiXvgeY3i65GERQjjoH/records/distributed-electronic-rights-in-javascript","blockRef","blockRange","hostname","scheme","siteHomeIcon","ipfs://bafybeifqqfzu2tmdqxzjwbx3ncarzfxtdc5bj7cf2pxoyyge7s4tlpi3oi","dehydratedState",{"_143":144,"_145":146},"mutations",[],"queries",[147,217,393,503,509,523,564],{"_148":149,"_212":213,"_215":216},"state",{"_150":151,"_197":198,"_199":200,"_201":-5,"_202":66,"_203":66,"_204":66,"_205":-5,"_206":-5,"_207":31,"_208":209,"_210":211},"data",{"_42":33,"_33":152,"_44":195},{"_35":153,"_104":47,"_105":106,"_107":191,"_109":110,"_111":112,"_113":112,"_114":192,"_118":193,"_120":47,"_121":194,"_125":126},[154,159,168,177],{"_38":155,"_40":156},[],{"_42":43,"_44":45,"_46":47,"_48":157,"_50":158,"_52":53,"_54":55},{},[],{"_38":160,"_40":161},[],{"_42":43,"_44":59,"_46":47,"_48":162,"_50":163,"_52":71,"_54":55},{},[164],{"_42":63,"_64":165,"_67":166,"_48":167,"_54":55},[66],[69],{},{"_38":169,"_40":170},[],{"_42":43,"_44":75,"_46":47,"_48":171,"_50":172,"_52":82,"_54":55},{},[173],{"_42":63,"_64":174,"_67":175,"_48":176,"_54":55},[66],[69],{},{"_38":178,"_40":184},[179],{"_38":180,"_40":181},[],{"_42":43,"_44":88,"_46":47,"_48":182,"_50":183,"_52":91,"_54":55},{},[],{"_42":43,"_44":93,"_46":47,"_48":185,"_50":186,"_52":103,"_54":55},{"_95":96},[187],{"_42":63,"_64":188,"_67":189,"_48":190,"_54":55},[66],[101],{},[106],{"_116":117},{},{"_120":47,"_123":124},{"_44":134,"_133":106,"_109":196,"_104":47,"_135":-5,"_136":-5,"_137":-5,"_138":-5,"_132":6},[130,131],"dataUpdateCount",1,"dataUpdatedAt",1776850079105,"error","errorUpdateCount","errorUpdatedAt","fetchFailureCount","fetchFailureReason","fetchMeta","isInvalidated","status","success","fetchStatus","idle","queryKey",[214,134,47,6],"ENTITY","queryHash","[\"ENTITY\",\"hm://z6MkrvYZzMYaCxyjbFWsZicdPCrcVmiXvgeY3i65GERQjjoH/records/distributed-electronic-rights-in-javascript\",\"bafy2bzacedcmcgdvm6gazawxh2s3rd2bx6c3whsllxzrydpttnp5zkzmcsbvk\",true]",{"_148":218,"_212":391,"_215":392},{"_150":219,"_197":198,"_199":390,"_201":-5,"_202":66,"_203":66,"_204":66,"_205":-5,"_206":-5,"_207":31,"_208":209,"_210":211},{"_42":33,"_33":220,"_44":387},{"_35":221,"_104":336,"_105":106,"_107":337,"_109":55,"_111":339,"_113":340,"_114":341,"_118":349,"_120":384,"_121":385,"_125":126},[222,235,250],{"_38":223,"_40":224},[],{"_42":43,"_44":225,"_46":226,"_48":227,"_50":228,"_52":234,"_54":55},"DszSJtzx","bafy2bzacediefqjwfodsih3fqsmvpfhr54wn66ysz2phoy7vue6umuy4bxqo2",{},[229],{"_42":63,"_64":230,"_67":231,"_48":233,"_54":55},[66],[232],14,{},"Hyper Academia is a knowledge community dedicated to reimagining academic publishing through open hypermedia. Our mission is to empower scholars to collaboratively write, link, and evolve knowledge in a way that is transparent, verifiable, and alive.",{"_38":236,"_40":237},[],{"_42":43,"_44":238,"_46":226,"_48":239,"_50":240,"_52":249,"_54":55},"jYnfHJvv",{},[241],{"_42":63,"_64":242,"_67":245,"_48":248,"_54":55},[243,244],66,113,[246,247],74,178,{},"We aim to build the missing foundation of the hypertextual web: a Linkbase — a decentralized system that enables semantic referencing, contextual discussion, and durable citation across the open web.",{"_38":251,"_40":329},[252,273,292,310],{"_38":253,"_40":254},[],{"_42":43,"_44":255,"_46":256,"_48":257,"_50":258,"_52":272,"_54":55},"UEUWiz3_","bafy2bzacea6gtkwv2xzshnf7btsh2h6d4iqec67s37mxhbmdpabvk7wwyqfxi",{},[259,264],{"_42":63,"_64":260,"_67":261,"_48":263,"_54":55},[66],[262],5,{},{"_42":265,"_64":266,"_67":268,"_48":270,"_54":271},"Link",[267],114,[269],118,{},"hm://z6MkrvYZzMYaCxyjbFWsZicdPCrcVmiXvgeY3i65GERQjjoH/forum?l","Forum: Please start any discussion you believe is relevant to the goal of building an Open Linkbase for the web. (Link)",{"_38":274,"_40":275},[],{"_42":43,"_44":276,"_46":256,"_48":277,"_50":278,"_52":291,"_54":55},"aVdaZZKQ",{},[279,284],{"_42":63,"_64":280,"_67":281,"_48":283,"_54":55},[66],[282],7,{},{"_42":265,"_64":285,"_67":287,"_48":289,"_54":290},[286],97,[288],101,{},"hm://z6MkrvYZzMYaCxyjbFWsZicdPCrcVmiXvgeY3i65GERQjjoH/records?l","Records: A list of all the open-access research papers referenced in this knowledge repository. (Link)",{"_38":293,"_40":294},[],{"_42":43,"_44":295,"_46":256,"_48":296,"_50":297,"_52":309,"_54":55},"mvSLAkpf",{},[298,302],{"_42":63,"_64":299,"_67":300,"_48":301,"_54":55},[66],[69],{},{"_42":265,"_64":303,"_67":305,"_48":307,"_54":308},[304],175,[306],179,{},"hm://z6MkrvYZzMYaCxyjbFWsZicdPCrcVmiXvgeY3i65GERQjjoH/articles?l","Articles: Submit your article by linking your article to the site with a comment. We will review the article, and if it is relevant, we will post it to the Articles section. (Link)",{"_38":311,"_40":312},[],{"_42":43,"_44":313,"_46":314,"_48":315,"_50":316,"_52":328,"_54":55},"PuiCY1P7","bafy2bzacedm32nu24upavo7ty6jmaor7hhdjjhk7uig6z4j6nmokfiuwfsagw",{},[317,321],{"_42":63,"_64":318,"_67":319,"_48":320,"_54":55},[66],[232],{},{"_42":265,"_64":322,"_67":324,"_48":326,"_54":327},[323],57,[325],61,{},"hm://z6MkrvYZzMYaCxyjbFWsZicdPCrcVmiXvgeY3i65GERQjjoH/linkbase?l","Linkbase Specs: A document that describes the Linkbase. (Link)",{"_42":43,"_44":330,"_46":331,"_48":332,"_50":334,"_52":335,"_54":55},"DoL0_sZu","bafy2bzacecidkbdbkybbpnqregmlxtne7xt57drbjd7ysh5ica3jztv3s3wli",{"_95":333},"Unordered",[],"Structure of the Site:","bafy2bzacecedhdybyvon4lwvrvlsetvv5pygov5g63z4ap3u7d43j4r25lp4w",[338,106],"z6MkrbYsRzKb1VABdvhsDSAk6JK8fAszKsyHhcaZigYeWCou","1970-01-01T00:00:00Z","2026-02-14T19:03:21.548Z",{"_116":342,"_343":140,"_344":345,"_346":347,"_348":55},"Hyper Academia","icon","cover","ipfs://bafybeif2duvubf2clxnuo3ec6imi4x3o5qfi7zjuwm4nrp7l4mb7angtpa","siteUrl","https://hyperacademia.hyper.media","layout",{"_350":351},"navigation",{"_38":352,"_40":383},[353,359,365,371,377],{"_38":354,"_40":355},[],{"_42":265,"_44":356,"_54":357,"_52":358},"hm://z6MkrvYZzMYaCxyjbFWsZicdPCrcVmiXvgeY3i65GERQjjoH/forum","hm://z6MkrvYZzMYaCxyjbFWsZicdPCrcVmiXvgeY3i65GERQjjoH/forum?v=bafy2bzacedh3a4eq35f6cn2vfbkryeonj6c2nn2e6ornr57gapfnq6ww4cclm&l","Forum",{"_38":360,"_40":361},[],{"_42":265,"_44":362,"_54":363,"_52":364},"hm://z6MkrvYZzMYaCxyjbFWsZicdPCrcVmiXvgeY3i65GERQjjoH/records","hm://z6MkrvYZzMYaCxyjbFWsZicdPCrcVmiXvgeY3i65GERQjjoH/records?v=bafy2bzacedi2bgmizsgdeeridycehyuzjswp7vgkbphwdecuzsqgdfv52qchk&l","Records",{"_38":366,"_40":367},[],{"_42":265,"_44":368,"_54":369,"_52":370},"hm://z6MkrvYZzMYaCxyjbFWsZicdPCrcVmiXvgeY3i65GERQjjoH/articles","hm://z6MkrvYZzMYaCxyjbFWsZicdPCrcVmiXvgeY3i65GERQjjoH/articles?v=bafy2bzaceaiponawjrtiiggub54sjkz23bwco5kf2sby22xn26yduobaikz7m&l","Articles",{"_38":372,"_40":373},[],{"_42":265,"_44":374,"_54":375,"_52":376},"hm://z6MkrvYZzMYaCxyjbFWsZicdPCrcVmiXvgeY3i65GERQjjoH/linkbase","hm://z6MkrvYZzMYaCxyjbFWsZicdPCrcVmiXvgeY3i65GERQjjoH/linkbase?v=bafy2bzacecdyqzxpgbmuwyuz3v3hufdguwzu7nocatdbebl4v5bzstrvtqdrw&l","Linkbase Draft",{"_38":378,"_40":379},[],{"_42":265,"_44":380,"_54":381,"_52":382},"hm://z6MkrvYZzMYaCxyjbFWsZicdPCrcVmiXvgeY3i65GERQjjoH/YYQb9EAntOvvEP73NoIa0","hm://z6MkrvYZzMYaCxyjbFWsZicdPCrcVmiXvgeY3i65GERQjjoH/YYQb9EAntOvvEP73NoIa0?v=bafy2bzaceb6d27l5xy6tzurwdgcwg6zinki4xuha3j3vvmakerg5tq6cqyp32&l","Planning a demo/paper for HT'26",{"_42":96,"_44":350},"bafy2bzacectninw64euzh25egcusjdt3e24xh4nanr5px4ar4fvinl3gn4kty",{"_120":384,"_123":386},"0",{"_44":388,"_133":106,"_109":389,"_104":-5,"_135":-5,"_136":-5,"_137":-5,"_138":-5,"_132":6},"hm://z6MkrvYZzMYaCxyjbFWsZicdPCrcVmiXvgeY3i65GERQjjoH",[],1776850079107,[214,388,-5,6],"[\"ENTITY\",\"hm://z6MkrvYZzMYaCxyjbFWsZicdPCrcVmiXvgeY3i65GERQjjoH\",null,true]",{"_148":394,"_212":499,"_215":502},{"_150":395,"_197":198,"_199":498,"_201":-5,"_202":66,"_203":66,"_204":66,"_205":-5,"_206":-5,"_207":31,"_208":209,"_210":211},[396,430,455,477],{"_42":33,"_44":397,"_109":401,"_107":402,"_111":403,"_113":408,"_411":412,"_120":413,"_104":400,"_414":415,"_418":419,"_121":426,"_428":-5,"_114":429,"_125":126},{"_44":374,"_133":106,"_109":398,"_104":400,"_135":-5,"_136":-5,"_137":-5,"_138":-5,"_132":6},[399],"linkbase","bafy2bzacecdyqzxpgbmuwyuz3v3hufdguwzu7nocatdbebl4v5bzstrvtqdrw",[399],[338,106],{"_404":405,"_406":407},"seconds","1751701123","nanos",1000000,{"_404":409,"_406":410},"1751838605",875000000,"sortTime","2025-07-05T07:38:43.001Z","bafy2bzacebqzqnezvxqimq7njt7o5wmyvxorynwyi45fmz4ayvxm4nh2emxd2","breadcrumbs",[416],{"_116":342,"_109":55,"_417":31},"isMissing","activitySummary",{"_420":-5,"_421":55,"_422":66,"_423":424,"_425":6},"latestCommentTime","latestCommentId","commentCount","latestChangeTime",{"_404":409,"_406":410},"isUnread",{"_120":413,"_123":427},"1751701123001","redirectInfo",{"_116":376},{"_42":33,"_44":431,"_109":435,"_107":436,"_111":437,"_113":440,"_411":443,"_120":444,"_104":434,"_414":445,"_418":447,"_121":449,"_428":-5,"_114":451,"_125":126},{"_44":356,"_133":106,"_109":432,"_104":434,"_135":-5,"_136":-5,"_137":-5,"_138":-5,"_132":6},[433],"forum","bafy2bzacedh3a4eq35f6cn2vfbkryeonj6c2nn2e6ornr57gapfnq6ww4cclm",[433],[338,106],{"_404":438,"_406":439},"1731663014",360000000,{"_404":441,"_406":442},"1751701760",547000000,"2024-11-15T09:30:14.360Z","bafy2bzacebdawtmebewoq2wpfyuumcoxpun4326jvlyrey6kgwf4fkhqofhei",[446],{"_116":342,"_109":55,"_417":31},{"_420":-5,"_421":55,"_422":66,"_423":448,"_425":6},{"_404":441,"_406":442},{"_120":444,"_123":450},"1731663014360",{"_116":358,"_344":452,"_453":454},"ipfs://bafybeif2fekqdxxepfhv4zh33rgy6hjx3rwjhkdzxx3llycys62the5iyi","contentWidth","L",{"_42":33,"_44":456,"_109":460,"_107":461,"_111":462,"_113":465,"_411":468,"_120":469,"_104":459,"_414":470,"_418":472,"_121":474,"_428":-5,"_114":476,"_125":126},{"_44":368,"_133":106,"_109":457,"_104":459,"_135":-5,"_136":-5,"_137":-5,"_138":-5,"_132":6},[458],"articles","bafy2bzaceaiponawjrtiiggub54sjkz23bwco5kf2sby22xn26yduobaikz7m",[458],[106],{"_404":463,"_406":464},"1751698646",962000000,{"_404":466,"_406":467},"1751701193",24000000,"2025-07-05T06:57:26.962Z","bafy2bzacebujlcxxtru4iyfjj3b3gqsgubmbnu6lhawuu3dp7eqyaylbawxqi",[471],{"_116":342,"_109":55,"_417":31},{"_420":-5,"_421":55,"_422":66,"_423":473,"_425":31},{"_404":466,"_406":467},{"_120":469,"_123":475},"1751698646962",{"_116":370},{"_42":33,"_44":478,"_109":481,"_107":482,"_111":483,"_113":486,"_411":489,"_120":490,"_104":480,"_414":491,"_418":493,"_121":495,"_428":-5,"_114":497,"_125":126},{"_44":362,"_133":106,"_109":479,"_104":480,"_135":-5,"_136":-5,"_137":-5,"_138":-5,"_132":6},[130],"bafy2bzacedi2bgmizsgdeeridycehyuzjswp7vgkbphwdecuzsqgdfv52qchk",[130],[106],{"_404":484,"_406":485},"1731664323",159000000,{"_404":487,"_406":488},"1738601680",353000000,"2024-11-15T09:52:03.159Z","bafy2bzacecvh44rtdgwybj22chahcx2uj73jj7in7ng2z44aurt4ka7qxwqki",[492],{"_116":342,"_109":55,"_417":31},{"_420":-5,"_421":55,"_422":66,"_423":494,"_425":6},{"_404":487,"_406":488},{"_120":490,"_123":496},"1731664323159",{"_116":364},1776850079110,[500,388,501],"DOC_LIST_DIRECTORY","Children","[\"DOC_LIST_DIRECTORY\",\"hm://z6MkrvYZzMYaCxyjbFWsZicdPCrcVmiXvgeY3i65GERQjjoH\",\"Children\"]",{"_148":504,"_212":507,"_215":508},{"_150":505,"_197":198,"_199":506,"_201":-5,"_202":66,"_203":66,"_204":66,"_205":-5,"_206":-5,"_207":31,"_208":209,"_210":211},[],1776850079112,[500,134,501],"[\"DOC_LIST_DIRECTORY\",\"hm://z6MkrvYZzMYaCxyjbFWsZicdPCrcVmiXvgeY3i65GERQjjoH/records/distributed-electronic-rights-in-javascript\",\"Children\"]",{"_148":510,"_212":520,"_215":522},{"_150":511,"_197":198,"_199":519,"_201":-5,"_202":66,"_203":66,"_204":66,"_205":-5,"_206":-5,"_207":31,"_208":209,"_210":211},{"_512":198,"_513":66,"_514":198,"_38":66,"_515":516,"_517":518},"citations","comments","changes","authorUids",[106],"blocks",{},1776850079129,[521,134],"DOCUMENT_INTERACTION_SUMMARY","[\"DOCUMENT_INTERACTION_SUMMARY\",\"hm://z6MkrvYZzMYaCxyjbFWsZicdPCrcVmiXvgeY3i65GERQjjoH/records/distributed-electronic-rights-in-javascript\"]",{"_148":524,"_212":562,"_215":563},{"_150":525,"_197":198,"_199":561,"_201":-5,"_202":66,"_203":66,"_204":66,"_205":-5,"_206":-5,"_207":31,"_208":209,"_210":211},{"_42":33,"_33":526,"_44":559},{"_35":527,"_104":480,"_105":106,"_107":553,"_109":554,"_111":489,"_113":555,"_114":556,"_118":557,"_120":490,"_121":558,"_125":126},[528],{"_38":529,"_40":530},[],{"_42":531,"_44":532,"_46":480,"_48":533,"_50":552,"_52":55,"_54":55},"Query","PqNf3Wyp",{"_534":535,"_536":537,"_538":539,"_551":31},"columnCount",3,"style","Card","query",{"_540":541,"_545":546},"includes",[542],{"_543":106,"_109":130,"_544":501},"space","mode","sort",[547],{"_548":31,"_549":550},"reverse","term","UpdateTime","banner",[],[106],"/records","2025-02-03T16:54:40.353Z",{"_116":364},{},{"_120":490,"_123":496},{"_44":362,"_133":106,"_109":560,"_104":-5,"_135":-5,"_136":-5,"_137":-5,"_138":-5},[130],1776850079108,[214,362,-5,31],"[\"ENTITY\",\"hm://z6MkrvYZzMYaCxyjbFWsZicdPCrcVmiXvgeY3i65GERQjjoH/records\",null,false]",{"_148":565,"_212":572,"_215":574},{"_150":566,"_197":198,"_199":571,"_201":-5,"_202":66,"_203":66,"_204":66,"_205":-5,"_206":-5,"_207":31,"_208":209,"_210":211},{"_42":105,"_44":567,"_114":569},{"_104":336,"_133":106,"_44":388,"_109":568,"_135":-5,"_136":-5,"_137":-5,"_138":-5},[],{"_116":342,"_343":140,"_344":345,"_346":347,"_348":55,"_570":-5},"summary",1776850079130,[573,106],"ACCOUNT","[\"ACCOUNT\",\"z6MkrvYZzMYaCxyjbFWsZicdPCrcVmiXvgeY3i65GERQjjoH\"]","ssrContentHTML","

Mark S. Miller1, Tom Van Cutsem2, and Bill Tulloh

Abstract. Contracts enable mutually suspicious parties to cooperate safely through the exchange of rights. Smart contracts are programs whose behavior enforces the terms of the contract. This paper shows how such contracts can be specified elegantly and executed safely, given an appropriate distributed, secure, persistent, and ubiquitous computational fabric. JavaScript provides the ubiquity but must be significantly extended to deal with the other aspects. The first part of this paper is a progress report on our efforts to turn JavaScript into this fabric. To demonstrate the suitability of this design, we describe an escrow exchange contract implemented in 42 lines of JavaScript code.

Keywords: security, distributed objects, object-capabilities, smart contracts.

Smart Contracts for the Rest of Us

The fabric of the global economy is held together by contracts. A contract is an agreed framework for the rearrangement of rights between mutually suspicious parties. But existing contracts are ambiguous, jurisdictions-specific, and written, interpreted, and adjudicated only by expensive experts. Smart contracts are contract-like arrangements expressed in program code, where the behavior of the program enforces the terms of the “contract”[1]. Though not a substitute for legal contracts, they can provide some of the benefits of contracts for fine-grain, jurisdiction-free, and automated arrangements for which legal contracts are impractical. To realize this potential, smart contracts need a distributed, secure, persistent, and ubiquitous computational fabric. To avoid merely substituting one set of expensive experts for another, non-experts should be able to write smart contracts understandable by other non-experts. We1 are working towards turning JavaScript into such a fabric. JavaScript is already understood and used by many non-expert programmers. We call our target JavaScript platform Dr. SES for Distributed Resilient Secure EcmaScript. 2 Dr. SES is not specifically tied to electronic rights (erights) or smart contracts per se. Its focus is to make distributed secure programming in JavaScript as effortless as possible. But much of the design of Dr. SES and its predecessors [2,3,4] was shaped by examining what we need to express smart contracts simply. Taking a rights-based approach to local and distributed computing, we believe, has led us to building a better general purpose platform as well as one naturally suited for expressing new kinds of erights and contracts.

","enableWebSigning","https://ui-with-state-machines.hyper.media","origin","homeMetadata",{"_116":582,"_346":578},"UI with State Machines","originHomeId",{"_133":585,"_44":586,"_109":587,"_104":-5,"_135":-5,"_136":-5,"_137":-5,"_138":-5},"z6MkhBiheioCs7btwVLUcnSCcFPdhTGGHSHpR4SHTyAobUUp","hm://z6MkhBiheioCs7btwVLUcnSCcFPdhTGGHSHpR4SHTyAobUUp",[],"meta",{"_590":591,"_665":666},"values",{"_592":593,"_595":596,"_597":598,"_599":600,"_602":603,"_604":605,"_606":607,"_609":610,"_611":612,"_613":614,"_615":616,"_617":618,"_619":620,"_621":622,"_623":624,"_625":626,"_627":628,"_629":630,"_631":632,"_633":634,"_635":636,"_637":638,"_639":640,"_641":642,"_643":644,"_645":646,"_647":648,"_649":650,"_651":652,"_653":654,"_655":656,"_657":658,"_659":660,"_661":662,"_663":664},"document.generationInfo.generation",[594],"bigint","dehydratedState.queries.0.state.data.document.generationInfo.generation",[594],"dehydratedState.queries.1.state.data.document.generationInfo.generation",[594],"dehydratedState.queries.1.queryKey.2",[601],"undefined","dehydratedState.queries.2.state.data.0.createTime.seconds",[594],"dehydratedState.queries.2.state.data.0.updateTime.seconds",[594],"dehydratedState.queries.2.state.data.0.sortTime",[608],"Date","dehydratedState.queries.2.state.data.0.activitySummary.latestCommentTime",[601],"dehydratedState.queries.2.state.data.0.activitySummary.latestChangeTime.seconds",[594],"dehydratedState.queries.2.state.data.0.generationInfo.generation",[594],"dehydratedState.queries.2.state.data.0.redirectInfo",[601],"dehydratedState.queries.2.state.data.1.createTime.seconds",[594],"dehydratedState.queries.2.state.data.1.updateTime.seconds",[594],"dehydratedState.queries.2.state.data.1.sortTime",[608],"dehydratedState.queries.2.state.data.1.activitySummary.latestCommentTime",[601],"dehydratedState.queries.2.state.data.1.activitySummary.latestChangeTime.seconds",[594],"dehydratedState.queries.2.state.data.1.generationInfo.generation",[594],"dehydratedState.queries.2.state.data.1.redirectInfo",[601],"dehydratedState.queries.2.state.data.2.createTime.seconds",[594],"dehydratedState.queries.2.state.data.2.updateTime.seconds",[594],"dehydratedState.queries.2.state.data.2.sortTime",[608],"dehydratedState.queries.2.state.data.2.activitySummary.latestCommentTime",[601],"dehydratedState.queries.2.state.data.2.activitySummary.latestChangeTime.seconds",[594],"dehydratedState.queries.2.state.data.2.generationInfo.generation",[594],"dehydratedState.queries.2.state.data.2.redirectInfo",[601],"dehydratedState.queries.2.state.data.3.createTime.seconds",[594],"dehydratedState.queries.2.state.data.3.updateTime.seconds",[594],"dehydratedState.queries.2.state.data.3.sortTime",[608],"dehydratedState.queries.2.state.data.3.activitySummary.latestCommentTime",[601],"dehydratedState.queries.2.state.data.3.activitySummary.latestChangeTime.seconds",[594],"dehydratedState.queries.2.state.data.3.generationInfo.generation",[594],"dehydratedState.queries.2.state.data.3.redirectInfo",[601],"dehydratedState.queries.5.state.data.document.generationInfo.generation",[594],"dehydratedState.queries.5.queryKey.2",[601],"dehydratedState.queries.6.state.data.metadata.summary",[601],"referentialEqualities",{"_592":667,"_604":668,"_619":669,"_633":670,"_647":671,"_655":672},[595],[611],[625],[639],[653],[659],"actionData","errors"]