【摘 要】
：
智能合约是一个跨学科的概念,创建智能合约需要将参与方协商达成一致的结果编译成计算机可执行代码。在这一过程中,需要考虑法律和金融等专家与程序员沟通问题、合约代码与法
论文部分内容阅读
智能合约是一个跨学科的概念,创建智能合约需要将参与方协商达成一致的结果编译成计算机可执行代码。在这一过程中,需要考虑法律和金融等专家与程序员沟通问题、合约代码与法律对接的问题、代码逻辑安全性问题及智能合约语言表达能力等问题。本研究提出了自然语言设计DSL,通过设计智能合约的规约语言,达到了保留自然语言的可读性、规范书写方式、增强语义明确性,能自动转化到智能合约编程语言的目的。并通过研究对比得出自然语言DSL在不违反确定性的情况下可以提高可读性和安全可解析性的结论。
其他文献
文化负载词最能体现一个民族的文化特色,在全球化语境下,汉语文化负载词的合理翻译,应结合异化归化两种策略。
<正> 广西图书馆成立《广西文化志·图书馆篇》编纂小组今年三月底至四月初,广西壮族自治区文化厅《广西文化志》(艺术、群文部分)编纂委员会,召开第一次扩大会议。会上,
涂装车间和焊装车间之间都各设置了一个车身转接工位,车身的转接形式能够直接影响车间焊装、涂装以及总装时生产的节拍与组织。本文就汽车自动化生产线升降机的运行安全做出
教研室是按学科、专业或课程组合而建立起来的教学研究组织，是构成学校结构体系的基本组成部分，在高校中承担着较为重的职能。本文从民办高校角度探讨了在教研室建设中存在的一
东贵荣教授在30余年的临床教学与实践中,对岐黄医术,造诣颇深,并将西医学知识与中医的辨证论治相结合,提出"针刺五脏俞穴调五脏神"针法治疗失眠症。重点阐述了东贵荣教授针刺
腰椎间盘突出症是骨科常见病、多发病之一，近年来发病率及就诊率逐年增高，且有年轻化的趋势。硬膜外前间隙胶原酶溶解术是近20年来兴起的治疗腰椎间盘突出症的较安全有效的方法
针对传统SPWM技术的直流电压利用率低以及输出电压谐波畸变率高等问题,本文在建立单相逆变器数学模型的基础上详细阐述了单相的电压空间矢量脉宽调制技术(SVPWM)波形的原理及
我患有慢阻肺5年多,每到冬季总会发作,最近发作的次数更频繁。请问是否有新方法治疗?慢阻肺患者需要规范治疗、定期监测和评估。大量临床研究证实,现有治疗药物如吸入支气管
自秘鲁2019年B季开始以来,各方戏份可谓"跌宕起伏、精彩不断",先是生产部给了让人惊讶的"历史大配额",正当要引起贸易商抛货大恐慌时,持续的捕捞不佳和接连不断的小禁捕让市
取适量麦冬、五味子、山茱萸(三味药只需取一种),日常泡茶饮用,可有效调理。此茶饮可用于尿频但每次尿量较少,容易出现烦热的人。