智能合约编写之Solidity运行原理

引 言作为一门面向智能合约的语言,Solidity与其他经典语言既有差异也有相似之处。另一方面,身为编程语言,Solidity的实现并未脱离经典语言,比如Solidity中包含类似栈、堆的设计,采用栈式虚拟机来进行字节码处理。

比特币SV上的有状态智能合约

比特币上的智能合约与流行的看法相反,比特币自诞生以来就具有智能签约功能,具有一种称为脚本的基于堆栈的本地编程语言。我们展示了一种维护比特币智能合约状态的通用机制。

比特币的智能合约OP_PUSH_TX

我们将其称为OP_PUSH_TX,因为它用作将当前事务推送到堆栈中的伪操作码。脚本实施sCrypt实现OP_PUSH_TX算法并将其打包在称为Tx的标准智能合约中。OP_PUSH_TX允许检查智能合约内部的整个交易,包括所有输入和输出。

简介不同类型的以太坊钱包

简介不同类型的以太坊钱包

虽然我们经常把储存以太坊资产的方法都叫做 “钱包”,它们在实质上差别极大。以太坊钱包是什么?另外,网页钱包可能要求用户输入私钥,这是很不安全的,因此网页钱包不应用于日常使用。

区块链1.0到3.0演变史:中本聪愿景中的比特币已死?

区块链1.0到3.0演变史:中本聪愿景中的比特币已死?

距离中本聪发明比特币过去将近一个生肖轮回了。先来理清下,从比特币为主的区块链1.0到区块链3.0时代,是如何演变的?我一直持有一个观点,中本聪愿景中的比特币已死,现存比特币是意外演变成的一种价值储存载体。

吃螃蟹第一人 SIP超级智能合约首创安全的经济交易体系

吃螃蟹第一人 SIP超级智能合约首创安全的经济交易体系

打赌是生活中经常发生的事情,也经常发生赌输的一方存在不认账的行为。那么,如何才能彻底的杜绝这样的现象呢?假设双方在打赌的时候,就制定一份合约,存放在某个平台,等第二天打赌结果一出来,赌金就自动打到赢方的账户上,这样是不是很完美?这就是今天的主角——智能合约。通俗的理解智能合约,就是数字化的纸质合约,不需要人去执行,而是能被计算机自动执行的合约条款。智能合约被视作区块链2.0的产物,它的定义是:"一

邹传伟:区块链如何成为大规模价值结算协议

邹传伟:区块链如何成为大规模价值结算协议

需要看到的是,区块链作为大规模价值结算协议,是理解区块链应用的一个关键。

SIP超级智能合约,打造全新的生态闭环模式和财富自由增值平台

SIP超级智能合约,打造全新的生态闭环模式和财富自由增值平台

2020年注定是不平凡的一年,疫情的影响让现有的市场经济一度陷入低迷,美股的熔断更是让经济雪上加霜。那么,想要改变这种被动的经济收益模式,就得重新选择合适的财富增值方式。不仅可以在动荡的经济市场保障自己的收益,还能让自己的投资在良性的循环中不断的增值。那么,如何才能让自己的投资经得起市场的考验,还能不断地升值呢!这就要说到近几年非常火爆的区块链技术,以及依托区块链技术衍生的一系列去中心化的产品,S

万亿市值之路:未来智能合约平台以太坊、波卡、BSV的3种路线

万亿市值之路:未来智能合约平台以太坊、波卡、BSV的3种路线

而之所以说BSV的智能合约平台是另一个范式,主要是以下两个点:1.数据库与操作系统,而非CPU这可能是BSV与以太坊,EOS等一众公链最为直接的区别。

PlatON首席经济学家邹传伟:区块链如何成为大规模价值结算协议

PlatON首席经济学家邹传伟:区块链如何成为大规模价值结算协议

区块链如何成为大规模价值结算协议?我总结目前区块链在金融领域的实践,特别在支付和DeFi方面,提出区块链成为大规模价值结算协议应解决的五个问题:第一,正视货币的网络效应与货币错配问题。

区块链系统和智能合约的形式验证101:形式化要求

区块链系统和智能合约的形式验证101:形式化要求

在我们的四部分系列的第二部分中,我们将讨论对系统要求进行形式化的过程,以及如何使其适合于区块链系统和智能合约的形式验证的更大范围。回想一下,正式验证就是要知道我们的系统实现是否满足我们的系统要求。

智能合约消除信息不对称、建立信任并颠覆传统保险模式

智能合约消除信息不对称、建立信任并颠覆传统保险模式

信息不对称导致了保单价格和价值失衡。在去中心化的基础架构中,智能合约的维护、执行和交割都是基于数据自动执行的,无须任何人为干预。保险智能合约直接由数据驱动将有助于消除信息不对称。

区块链系统和智能合约的形式验证101

区块链系统和智能合约的形式验证101

作为一个简单的例子,考虑必须为许多用户服务的Web应用程序,例如银行网站。

一文读懂CasperLabs:智能合约平台的突围之路

一文读懂CasperLabs:智能合约平台的突围之路

为了方便大家记忆,CasperLabs以下简称为Casper。Casper如何安身立命:Highway协议首先,Casper是一个智能合约平台,跟其他智能合约平台一样,为开发者提供运行协议和应用的基础设施。Casper的Highway共识协议是基于CBC Casper PoS的扩展。

转|BW.io即将上线USDI

转|BW.io即将上线USDI

摘要:NULS,让区块链更简单! 据BW.io官方公告USDI即将于2020年3月16日15:00(香港时间)上线BW.io并开放交易对USDI/USDT、USDI/QC,将于2020年3月16日10:00(香港时间)开放充值及提币业务。 【关于USDI】 USDI是由ToDaMoon基金发起的一款有利息的稳定币。USDI结合了稳定币和理财于一体,是一

通过Web3将智能合约(Solidity代码)连接到用户界面

通过Web3将智能合约(Solidity代码)连接到用户界面

既然已经知道Web3是一个真正帮助我们将智能合约连接到前端的库。您已通过WEB3和Ganache CLI成功将React与Solidity智能合约集成在一起。

与IC3联合主管、康奈尔计算机系教授Ari Juels畅谈预言机的未来

与IC3联合主管、康奈尔计算机系教授Ari Juels畅谈预言机的未来

2020年2月18日,Sergey Nazarov在加州旧金山与Ari Juels教授一起聊了聊预言机的整体格局和未来前景。MixiclesMixicles是运算型预言机的首个功能,该功能由Ari Juels、Lorenz Briedanback、Alex Coventry、Sergey Nazarov、Steve Ellis以及Brendan Magauran共同开发,并在2019年9月首次推出。

如何基于超级链开放网络快速部署一款DApp

如何基于超级链开放网络快速部署一款DApp

本期超级链学院线上公开课教你如何基于超级链开放网络快速部署一款DApp。因此,我们可以公益捐款为例,介绍一个基金会利用开放网络智能合约构建的公益捐款公示DApp。

如何选择区块链平台来开发您的项目

如何选择区块链平台来开发您的项目

本文将向您介绍选择区块链平台的最重要标准。以上六个标准可以帮助您在选择区块链平台时做出更明智的决定。

区块链公司BTP实现亚马逊AWS上的智能合约可用性

区块链公司BTP实现亚马逊AWS上的智能合约可用性

翻译:Maya 根据2月25日的声明,BTP宣布其DAML的常规可用性,通过其专用于DAML的Sextant平台实现,将允许在亚马逊的QLDB数据库工作的客户在该平台上利用智能合约。

返回顶部 ↑