【区块链】智能合约简介

智能合约起源

image-20240507204621675

智能合约这个术语至少可以追溯到1995年,是由多产的跨领域法律学者尼克·萨博(NickSzabo)提出来的。他在发表在自己的网站的几篇文章中提到了智能合约的理念。他的定义如下:“一个智能合约是一套以数字形式定义的承诺(promises),且合约参与方可以在上面执行这些承诺的协议。”

但由于缺乏能够支持可编程合约的数字系统和技术,智能合约并没有被应用到实际产业中,自比特币诞生后,人们认识到比特币的底层技术区块链可以为智能合约提供可信的执行环境,不仅可以支持可编程合约,而且具有去中心化、不可篡改、过程透明可追踪等优点,天然适合智能合约。至此,智能合约和区块链之间形成了密不可分的联系。

智能合约定义

本质上来说,智能合约是一段程序,它以计算机指令的方式实现了传统合约的自动化处理。简单讲,智能合约就是双方在区块链资产上交易时,触发执行的一段代码,这段代码就是智能合约。“智能合约程序不只是一个可以自动执行的计算机程序,它本身就是一个系统参与者,对接收到的信息进行回应,可以接收和储存价值,也可以向外发送信息和价值。这个程序就像一个可以被信任的人,可以临时保管资产,总是按照事先的规则执行操作。”

智能合约特点:

  1. 高度自治:当智能合约上预先编好的条件被触发时,会自动执行合约。
  2. 去中心化:无需中心化服务器的参与,能够降低交易成本,同时也能缓解信任问题。

那么它与传统合约有什么区别呢?对比如下:

image-20240507205413022

  • 传统合约:传统的合同协议,例如由法律专业人员创建的协议,主要以纸张为基础,严重依赖第三方执行。第三方执法不仅非常耗时,而且非常定义模糊。如果事情误入歧途,合同当事方往往必须依靠公共司法系统来纠正这种情况,这可能是非常昂贵和耗时的。
  • 智能合约:智能合约通常由计算机程序员通过智能合约开发工具创建,完全是数字化的,使用编程代码语言(如Solidity,C++,Go,Python,Java)编写。该守则以与传统法律文件相同的方式界定规则和后果,说明在任何不同情况下任何一方可能产生的义务,利益和处罚。然后,该代码可以由分布式分类帐系统自动执行和强制执行。

智能合约原理

一个基于区块链的智能合约需要包括事务处理机制、数据存储机制以及完备的状态机用于接收和处理各种条件。并且事务的触发、处理及数据保存都必须在链上进行。当满足触发条件后,智能合约即会根据预设的逻辑,读取相应数据并进行计算,最后将计算结果永久保存在链式结构中。

image-20240507205646386

智能合约流程如下:

image-20240507210037661

智能合约安全性

因为合约是严肃的事情,传统的合约往往需要专业的律师团队来撰写。古语有云:“术业有专攻”。当前智能合约的开发主要由软件团队从业者来完成,其所编写的智能合约在完备性上可能有所欠缺,因此相比传统合约,更容易产生逻辑上的漏洞。

现有的部分支持智能合约的区块链平台提供了利用如Go语言、Java语言等高级语言编写智能合约的功能,而这类高级语言不乏一些具有“不确定性”的指令,可能会造成执行智能合约节点的某些内部状态发生分歧,从而影响整体系统的一致性。

智能合约应用

智能合约是区块链技术的重要应用之一,它通过自动化执行合约条款,无需第三方干预,实现了高效、透明且不可篡改的交易过程。正是因为智能合约具备这些优点,它在金融、供应链管理、保险、物联网等多个领域展现出广泛的应用前景。从自动股票交易、简化供应链跟踪到去中心化交易所的构建,智能合约正在革新我们的商业和交易模式,促进了资源共享和降低了交易成本,为现代社会带来了前所未有的便利和效率。

这里简单对比传统跨境支付结算与智能合约下的区块链跨境支付结算。从下图可以看到,区块链跨境支付的优势很大。

image-20240507210940701

智能合约示例

目前以太坊上支持三种语言编写智能合约Solidity、Serpent、LLL, 其中最流行而且最稳定的是Solidity,这也是以太坊官方推荐语言,具体用法参照Solidity文档。

Remix是一个开源的Solidity智能合约开发环境,提供基本的编译、部署至本地或测试网路、执行合约等功能。remix-ide是一个浏览器版的solidity开发IDE,你可以使用在线版,也可以下载下来安装到本地。有了它,你就可以自由地编写智能合约,编译部署了!

在线版:https://remix.ethereum.org/

本地:https://github.com/ethereum/remix-ide

image-20240507211329045

以下是一个简单的智能合约示例,使用solidity语言编写。

pragma solidity>=0.8.2<0.9.0; //选择编译器版本contract Person{function age() pure public returns(uint){return 22;         //函数固定返回22}function height(uint _height) pure public returns(uint){uint Height=_height;return Height;     //函数返回输入的值}function callheight() pure public returns(uint){return height(25); //调用height,返回25}
}

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.hqwc.cn/news/688212.html

如若内容造成侵权/违法违规/事实不符,请联系编程知识网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

三国杀背后的图形化编程 变量跟踪与吐槽的故事

在周末的公司里&#xff0c;卧龙凤雏等几位员工终于结束了加班任务&#xff0c;他们每个人都显现出些许疲惫之态&#xff0c;但心情还算较为轻松愉悦。突然&#xff0c;有人提议玩上几局三国杀&#xff0c;以此来让大家放松一下身心。于是乎&#xff0c;几人纷纷掏出手机&#…

AcwingWeb应用课学习笔记

VSCode自动格式化 选中Format On Save不起作用 在设置中搜索default formatter&#xff0c;修改成Prettier-Code formatter meta标签 HTML 元素表示那些不能由其它 HTML 元相关&#xff08;meta-related&#xff09;元素&#xff08;(、,

【计算机网络】因特网概述

&#x1f6a9;本文已收录至专栏&#xff1a;计算机网络学习之旅 一.发展的三个阶段 二.ISP介绍 因特网服务提供者&#xff08;Internet Service Provider&#xff09;&#xff0c;简称ISP&#xff0c;普通用户是通过 ISP 接入到因特网的&#xff0c;ISP 可以从因特网管理机构…

信息系统安全与对抗-网络侦查技术与网络扫描技术(期末复习简答题)

1、网络拓扑结构在网络攻击中的作用 查明目标网络的拓扑结构&#xff0c;有利于找到目标网络的关键节点&#xff0c;从而提高攻击效率&#xff0c;达到最大攻击效果。 2、网络侦查在网络攻击中的作用 识别潜在目标系统&#xff0c;确认目标系统适合哪种类型的攻击。 3、百度…

面试官:SPA(单页应用)首屏加载速度慢怎么解决

一、什么是首屏加载 首屏时间&#xff08;First Contentful Paint&#xff09;&#xff0c;指的是浏览器从响应用户输入网址地址&#xff0c;到首屏内容渲染完成的时间&#xff0c;此时整个网页不一定要全部渲染完成&#xff0c;但需要展示当前视窗需要的内容 首屏加载可以说是…

视频批量剪辑指南:一键合并视频并添加背景音乐,高效便捷

在数字化时代&#xff0c;视频剪辑已经成为了一项常见且重要的技能。无论是制作家庭影片、工作展示还是社交媒体内容&#xff0c;掌握高效的视频剪辑技巧都能极大地提升我们的工作效率和创作质量。本文将为您介绍云炫AI智剪中高效的视频批量剪辑方法&#xff0c;让您能够一键合…

软件测试之 性能测试 性能测试基础指标 Loadrunner、Jmeter等工具

你好,我是Qiuner. 为记录自己编程学习过程和帮助别人少走弯路而写博客 这是我的 github gitee 如果本篇文章帮到了你 不妨点个赞吧~ 我会很高兴的 &#x1f604; (^ ~ ^) 想看更多 那就点个关注吧 我会尽力带来有趣的内容 本文档基于 https://www.bilibili.com/video/BV1wC4y1Y…

Tomcat7+ 弱口令 后台getshell漏洞

1 漏洞背景 Tomcat 是一个流行的开源Web应用服务器&#xff0c;用于部署和运行Java Web应用程序。Tomcat 7 版本中存在一个安全隐患&#xff0c;即默认的管理员密码可能较弱或者未被修改&#xff0c;攻击者可以利用这一漏洞登录到Tomcat的管理后台&#xff0c;并上传恶意的WAR…

C语言 | Leetcode C语言题解之第79题单词搜索

题目&#xff1a; 题解&#xff1a; int directions[4][2] {{0, 1}, {0, -1}, {1, 0}, {-1, 0}};bool check(char** board, int boardSize, int boardColSize, int** visited, int i, int j, char* s, int sSize, int k) {if (board[i][j] ! s[k]) {return false;} else if (…

服务器2080ti驱动的卸载与安装

服务器2080ti驱动的卸载与安装 前言1、下载驱动2、驱动卸载与安装2.1 卸载原来驱动2.2 安装新驱动 3、查看安装情况 前言 安装transformers库&#xff0c;运行bert模型时出错&#xff0c;显示torch版本太低&#xff0c;要2.0以上的&#xff0c;所以更新显卡驱动&#xff0c;重…

AutoCAD中密集的填充打散后消失的问题

有时候在AutoCAD中&#xff0c;图案填充的填充面积过大或填充太过密集时&#xff0c;将该填充打散&#xff0c;也就是执行Explode时&#xff0c;会发现填充图案消失了。 原因是打散后线条太大&#xff0c;系统就不显示了。可以通过设置&#xff1a;HPMAXLINES 值&#xff0c;来…

Rust学习笔记(中)

前言 笔记的内容主要参考与《Rust 程序设计语言》&#xff0c;一些也参考了《通过例子学 Rust》和《Rust语言圣经》。 Rust学习笔记分为上中下&#xff0c;其它两个地址在Rust学习笔记&#xff08;上&#xff09;和Rust学习笔记&#xff08;下&#xff09;。 错误处理 pani…