Hi 游客

更多精彩,请登录!

比特池塘 区块链技术 正文

NEO 智能合约基础知识

有个胖子他姓杨
90 0 0
NEO 智能合约基础知识
: I( e3 S" A2 @: f! c% k, C9 f智能合约介绍, C( _: H/ g' A+ M1 i
什么是智能合约
( l' r  W# \3 j' [) M) u; j- A智能合约是一套以数字形式定义的承诺,包括合约参与方可以在上面执行这些承诺的协议。区块链技术给我们带来了一个去中心化的,不可篡改的,高可靠性的系统,在这种环境下,智能合约才大有用武之地。智能合约是区块链最重要的特性之一,也是区块链能够被称为颠覆性技术的主要原因。4 y& h7 J, @) z
NEO 智能合约有哪些特点
& N2 T5 J: V6 z4 Y/ f$ eNEO 智能合约 2.0包括以下特性:确定性、高性能、拓展性。其合约类型包括:验证合约、函数合约和应用合约。
( t* W3 x7 f. A2 Y从性能角度来说,NEO 采用了轻量级的 NeoVM(NEO Virtual Machine)作为其智能合约的执行环境,其启动速度非常快,占用资源也很小,适合像智能合约这样短小的程序。通过 JIT(即时编译器)技术对热点智能合约进行静态编译和缓存可以显著提升。NEO 虚拟机的指令集中内建提供了一系列的密码学指令,以优化智能合约中用到密码学算法时的执行效率。此外,数据操作指令直接对数组及复杂数据结构提供支持。这些都会提升 NEO 智能合约 2.0的运行性能。/ a) T! R2 k* \
NEO 智能合约 2.0实现可拓展性的方法是通过高并发和动态分区的形式,结合其低耦合的设计完成的。低耦合合约程序在一个虚拟机(NEO 虚拟机)中执行,并通过交互服务层与外部通信。因此,对智能合约功能的绝大部分升级,都可以通过增加交互服务层的 API 来实现。
& X6 r, |! Y2 [6 U% ^( c3 ?: O: f1 r用什么语言编写智能合约
7 b% _- T( A; e$ U: z/ O% j" e从语言角度看 NEO 智能合约 2.0与以太坊的区别更为直观:与以太坊原创的 Solidity 语言不同,NEO 智能合约开发者可以直接使用几乎任何他们擅长的高级语言来进行 NEO 智能合约的开发工作。NEO 提供了这些语言的编译器和插件,用于将高级语言编译成 NEO 虚拟机所支持的指令集。由于编译器会针对 MSIL(微软中间语言)来进行编译,所以理论上任何.Net 中的语言或者可被转译成 MSIL 的语言都可以直接支持。- Z) [7 y$ r' z" d7 b, U" f
当前已经支持的语言有:7 S6 h8 ^& W' D& D! S! u
  • C#、VB.Net、F#
  • Java、Kotlin
  • Python
  • GO
  • JavaScript
    : t+ `. u2 e6 G8 V1 U
    , }4 i+ _1 \8 y" l4 X) O
    未来计划陆续加入的高级语言还包括:( }$ h# O4 Y+ D  b. V) _
  • C、C++, F2 c+ L% y* S1 }4 [- _& q' ~, u# K

    6 V. n9 K9 K5 a, w1 g1 F多种高级语言的支持,使得 90% 以上的开发者无需学习新的语言即可参与到 NEO 智能合约的开发中来,甚至可将现有业务系统中的代码直接移植到区块链上。这将大大增加未来区块链的全面普及。
    , c3 Y& K. `$ q最后从调试角度看,通常智能合约的开发过程是非常困难的,重要的原因之一是此前的智能合约缺乏良好的调试和测试方法。NEO 在 NeoVM 层面提供了程序调试功能的支持,使得开发 NEO 智能合约 2.0变得更方便快捷。2 A" A8 z- ]" M1 C3 L/ g. ^) Z) }
    智能合约的触发
    ; o+ i. m% H" m, M0 XNEO 的智能合约有两种触发方式:# E8 d2 ?3 w+ G( ^
  • 合约用户的鉴权:智能合约作为一个合约账户,当用户使用该合约账户里的一笔资产时,会触发该智能合约。
  • 手动发送交易调用智能合约:用户发送一笔交易(Invocation Transaction )来触发一段智能合约的执行。- G$ B& l+ U. B- c+ D0 J
    7 L+ K8 X3 C" E( N
    一个合约可以同时由以上两种方式触发。由于鉴权触发的合约是UTXO模型的鉴证过程,是在交易被写入区块之前执行。如果合约返回false或者发生异常,则交易不会被写入区块。/ w8 M+ B5 C% n7 G9 s
    而由交易调用触发的合约,它的调用时机是交易被写入区块以后,此时无论应用合约返回为何以及是否失败,交易都已经发生,无法影响交易中的 UTXO 资产状态。
    ! V" K8 K- x5 x3 d  n# QNeoVM 虚拟机/ k$ k+ a% e8 A# L
    NeoVM 是执行 NEO 智能合约代码的虚拟机。这里所讲述的虚拟机概念比较狭义,并非是借助于操作系统对物理机器的一种模拟,这里的虚拟机与 vmware 或者 Hyper-V 不同,是针对具体语言所实现的虚拟机。
    + `7 N6 U& Q) {( S7 ]2 C例如在 java 的 JVM 或者 .Net 的 CLR 中,java 或者 .Net 源码会被编译成相关字节码,然后在对应虚拟机上运行, JVM 或 CLR 会对这些字节码进行取指令,译码,执行,结果回写等操作,这些步骤和真实物理机器上的概念都很相似。相对应的二进制指令仍然是在物理机器上运行,物理机器从内存中取指令,通过总线传输到 CPU,然后译码、执行、结果存储。  e, |0 u8 ]/ n* k  v; a+ ?/ U
    虚拟机架构3 c) r' p- Z  n8 f( y

    8 B8 C$ e9 I6 p! h  {4 f上图是 NEO 虚拟机(NeoVM)的系统架构图,其中虚线框中的部署是虚拟机的核心。
    7 ?6 r6 m, V% y执行引擎
      w9 i4 C) `& L  `左侧绿色的是虚拟机执行引擎(相当于 CPU),它可以执行常见的指令,例如流程控制、栈操作、位操作、算数运算、逻辑运算、密码学方法等,还可以通过系统调用,与互操作服务层(下文会介绍)进行交互。+ H& U5 ~- P$ X$ W4 z
    计算栈" a! t* {1 D- O# X' Y  q* W/ T6 N
    中间灰色的部分是虚拟机的计算栈(相当于内存),如今虚拟机的实现方式有两种,基于栈的和基于寄存器的,这两种实现方式各有优劣,也都有标志性的产品。基于栈的虚拟机,有 JVM,CPython 以及 .Net CLR。基于寄存器的,有 Dalvik 以及 Lua5.0。基于栈的虚拟机有一个计算栈的概念,虚拟机在进行真正的运算时都是直接与计算栈(Evaluation Stack)进行交互。
    ! a- a& v* d! S9 ^/ \6 F4 ]; g由于执行时默认都是从操作数栈上取数据,那么就无需指定操作数。例如,x86 汇编 ”ADD EAX, EBX”,就需要指定这次运算需要从什么地方取操作数,执行完结果存放在何处。但是基于栈的虚拟机的指令就无需指定,例如加法操作就一个简单的 ”Add” 就可以了,因为默认操作数存放在操作数栈上,直接从操作数栈上 pop 出两条数据直接执行加法运算,运算后的结果默认存放在栈顶。  ]# w+ V' g& \' p  t
    互操作服务层/ d) k2 W$ p: D. S5 U
    右侧蓝色的部分是虚拟机的互操作服务层(相当于外设)。目前互操作服务层提供了智能合约所能访问区块链数据的一些 API,利用这些 API,可以访问区块信息、交易信息、合约信息、资产信息等。# o7 U# U/ B! v
    除此之外互操作服务层还为每个合约提供了一个持久化存储区的功能。NEO 的每个智能合约在创建的时候都可选地启用一个私有存储区,存储区是 key-value 形式的,NEO 智能合约由合约的被调用者决定持久化存储区的上下文,而非调用者来决定。当然,调用者需要将自己的存储上下文传给被调用者(即完成授权)后,被调用者才可以执行读写操作。( B$ N5 t3 r6 l1 K9 F( v; P
    收费模式
    1 I9 x/ K1 s7 b; _- X* _$ yNEO 智能合约在部署或者执行的时候都要缴纳一定的手续费,分为部署费用和执行费用。
    $ L& ]; r1 _( ^* n部署费用是指开发者将一个智能合约部署到区块链上需要向区块链系统支付一定的费用(目前是 500 Gas)。
    * f' t& s& \4 H$ q执行费用是指每执行一条智能合约的指令都会向 NEO 系统支付一定的执行费用。具体收费标准请参阅 智能合约费用。3 w9 {; L5 g: Z
    一些简单的智能合约+ W% z8 Q0 B1 n" c) ]/ ?8 ^& x1 r
    下面是一些简单的智能合约:, {" W* \" I; s& [% i3 a; d" a' i
    public static bool Main()" r) u1 r; W, B- P' s  p
    {
    # G% V5 P) \- z" j/ v        return true;: V/ V; i; }: A4 o# G) M  M
    }
    / m* U: r! r- z2 @5 ^  d该合约的返回值永远为 true,表示任何人都可以花费这个合约地址里的资产(可以理解为撒钱)。
    5 {  x- r8 q4 y6 n) A3 F0 ONEO 钱包客户端有删除资产功能,当你删除了一个资产,这个资产实际上发送到了一个指定地址中,这个地址就是上述智能合约所生成的合约地址,任何人都可以花费这个地址里的资产,当然这个地址里的资产都是别人不想要的资产。" b4 E- _  z) R. B
    public static bool Main()
    3 O9 x; f( r7 {7 _5 ~  l{
    - p& p; H8 q: Q        return false;  S& q( W: H/ Y+ K1 Q
    }7 K) Y3 l4 v% S$ G8 r3 w
    该合约的返回值永远为 false,表示这个合约里的资产无人能使用(可以理解为烧钱或销毁一笔资产),比如里面可以存储一些已注销的公司的股权。" ]% W8 _* w# F, k
    更多示例请查看:
    # y: M( l. R9 g! a7 Q" K' cHello World
    $ f' @& z" M. K, K+ yLock(锁仓合约)7 T: V. Y' n3 r4 Y
    Domain(域名系统)
  • BitMere.com 比特池塘系信息发布平台,比特池塘仅提供信息存储空间服务。
    声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
    您需要登录后才可以回帖 登录 | 立即注册

    本版积分规则

    成为第一个吐槽的人

    有个胖子他姓杨 初中生
    • 粉丝

      0

    • 关注

      0

    • 主题

      10