智能合约作为可以自动执行合约条款的计较机措施，与区块链技能相团结，形成了诚信网络中代价转移的数字合约，被称为代码即合约。现今，人类社会正在从信息社会向数字社会迈进，智能合约是将来数字社会中带有法令属性的重要基本协议，正成为将来数字社会重要基本。我们认为智能合约将是区块链革命进程中最重要的技能因素，可以预见到智能合约在将来几年内将会有庞大而普遍的需求，智能合约将无所不在。

但作为公约和法则自动执行的智能合约，面对许多前所未有的挑战，包罗谁来公信地编写智能合约？即如何建树局限化、公信化的智能合约出产机制；谁来验证智能合约？即如何担保智能合约这一节制资产代价非凡软件的可信性；如何使智能合约切正当令规制？即让智能合约成为法令法则的携带、存证和自动鉴定措施执行等问题，将成为智能合约普及应用进程中面对的庞大挑战。

司法女神 Justitia 面上的蒙眼布所表达的“措施是公理的蒙眼布”这一司法公信的理念，正是本项目实现智能合约公信化出产的焦点理念，指导我们如何成立一个合约的公信出产机制。Justitia 构建智能合约全球化社区和代码库，依靠 Justitia 上的众筹众智来告竣最遍及的共鸣来实现这一理念，致力于让代码逐渐成为虚拟世界中的“隐形法令”，形成合约公信化的出产机制。

Justitia 项目操作创新的法令代码科技和智能合约工程理论，建设 DAC 众智的合约出产社区（DSiSc），设计实现新型的 Justitia 公链，来实现社区管理，并鼓励和汇聚全球的智力共鸣，打造智能合约出产工场。Justitia 项目将是第一个以智能合约出产为方针的公链，将是所有区块链项目标上游技能提供者，以及智能合约众筹项目标公信平台。

朱蒂提亚项目技能体系

本文具体描写项目标技能体系和详细设计，以构建数字社会智能合约出产基本设施为方针，基于先进、创新的智能合约工程和法令代码科技的理念及要领，设计实现一个智能合约全球性出产/消费的生态系统，设计新型众智化 DAC 社区自治生长运行方法；宣布支持社区运行的 Justitia 公链及其上的社区管理智能合约和社区处事智能合约，提出双层共鸣机制和刊行燃料币构建项目代价流；设计数字社会智力评价和嘉奖机制；设计实现高可用系统架构和不变运行机制打点驱动生态系统应用，提供处事应用东西，并回收形式化验证要领对设计协议、计策和算法举办确定性验证，最大限度确保系统的正确性和靠得住性，构建完整的项目产物技能链和代价流体系，以及完善的系统运行保障体系，可维护和可一连成长体系。

1、智能合约生态系统

智能合约是算法条约（Algorithmic Contract），即当事人同意依据必然的计较机算法来确定条约的内容、订立条约和推行条约的行为，是一种非凡的软件，合约代码经常蕴含着法令干系和洽处买卖，与法令学团结形成法令代码科技。智能合约今朝面对法令化、可信化和工程化的问题。法令代码科技是法令学和信息技能的融合，综合回收计较法令、软件编码、人工智能、区块链和智能合约等技能来实现对法令、礼貌、条约、章程等法令文件的代码化表达和自动运行，以及如何保障通过计较机代码所设定的法则与现实世界中的法定法则保持一致，成为数字社会的隐形法令。焦点是如何实现“代码即法令”进程的代码化。

而代码化进程中，由于智能合约契约化特点，如安在智能合约出产和应用中浮现“措施是公理的蒙眼布”理念是智能合约可否大局限应用的要害，可以想见的一个实现途径是公信机构或权威机构来组织体例，但由于智能合约的措施代码性特点和遍及应用性，这险些是不行能做到的，这就需要我们寻找别的的模式。我们提出构建一个智能合约大局限出产的 DAC 方法社区制生态系统，依赖全球尽大概的众智是实现代码共鸣的另一个也是今朝独一可行的公信出产方法。在设计法则指导下，可以回收社区共鸣、评审、众筹、众智等手段来确保智能合约出产的可信和法令规制化，回收区块链确权、存证和燃料币机制来勉励参加生态圈的孝敬和定制选用，回收果真的管理智能合约来自动实现生态圈的权益分派和流程打点，从而形玉成新的生态系统模式，通过支持智能合约的逻辑验证和测试，成为智能合约应用系统的上游供给者和处事者。我们称这种智能合约生态系统为 DSiSc 社区 ( DAC Swarm intelligence community of Smart contract)。