火星链 火星链
Ctrl+D收藏火星链
首页 > TRX > 正文

区块链:解读ZKEVM:编译Solidity源码到LLVM IR系列(一)

作者:

时间:1900/1/1 0:00:00

零知识证明(ZKP)发展至今,大多数方案都是基于低级别表述语言实现的,例如 QAP、R1CS 或 Circuit。尽管 ZKP 不受语言限制,可以使用任何语言定义,但是高级语言所带来的生成证明的复杂度却是难以接受的。因此很多区块链技术团队开始使用新的 DSL 语言去编写业务逻辑,来实现复杂度较低的证明,但是这种模式却增加了用户编写合约的难度,因为大多数用户根本没有时间和精力学习 Rust、C++ 等语言。

Matter Labs 团队为了解决 ZKP 的图灵完备问题,引入了 ZINC 这门新的编写智能合约的语言。 然而该团队在 Youtube 上一段 ZKEVM 设计视频中曾公开表示 ZINC 目前并不是图灵完备的,缺乏循环、递归等内容。团队还表示,为了减少引入新的语言给开发者带来的学习成本,将尝试采用 Solidity-> YUL -> LLVM IR-> ZKEVM 的技术路线。

受该视频启发,本系列文章将与读者探讨使用 LLVM 编译器编译 Solidity /YUL字节码 到 R1CS 或 Circuit 的过程。尽管该方案后续可能发生重大变化,但是也是一次很好的学习机会。

第一篇 LLVM 介绍

概念

LLVM是模块化和可重用的编译器与工具链技术的集合, 经常被误认为是一个单纯的编译器,拿来跟 Clang 和 GCC 进行比较,实际上 Clang 也是仅仅作为 LLVM 项目的一部分单独发行的。以下是对这几个概念的详细介绍。

声音 | 孙宇晨:陪我APP配合监管机构进行内容整改 不必过度解读:孙宇晨刚刚发微博表示,“陪我APP第一时间配合监管机构进行净网行动,对平台部分由用户自发产生的负能量内容进行整改,一切正常运营,新的实体成立,老的实体解散而已,不影响正常业务进行,完全是基于商业考虑。我们旗下公司繁多,基于商业考虑进行公司新设与注销是正常经营行为,不必过度解读。”[2019/7/24]

LLVM:LLVM 和虚拟机技术没有关系。它的名字并不是一个缩写,而是 LLVM 项目的全称。LLVM 的目标是提供一个现代化的、基于 SSA 编译策略的、同时支持静态和动态编译任何编程语言的编译器架构。现在 LLVM 已经发展成为一个由多个子项目组成的总体项目,其中许多子项目已被广泛应用于学术研究、商业和开源项目中。LLVM 核心库提供了与编译器相关的支持,可以作为多种语言编译器的后端来使用。能够进行程序语言的编译期优化、链接优化、在线编译优化和代码生成。

Clang:是 LLVM 的一个编译器前端,它目前支持 C, C++, Objective-C 以及 Objective-C++ 等编程语言。Clang 对源程序进行词法分析和语义分析,并将分析结果转换为 Abstract Syntax Tree(AST 抽象语法树) 和LLVM-IR,最后使用 LLVM 作为后端代码的生成器。

GCC:GNU编译器套件(GNU Compiler Collection)包括C、C++、Objective-C、Java、Go语言的前端,也包括这些语言的库(如 libstdc++、libgcj 等)。GCC的开发初衷便是一款专为GNU操作系统设计的编译器。

动态 | “区块链”一词入选“汉语盘点2018”国际词解读:人民网刊文《“汉语盘点2018”国际词解读》,“区块链”一词,与贸易摩擦、板门店、伊核协议等一起入选。文中称, 2008 年首次提出区块链概念以来,这项技术快速发展并在全球范围内广泛应用。在全球化、信息化和数字化时代,区块链代表了一种新的技术发展方向,为推动世界经济与国际合作提供了一个新的机会。[2018/12/11]

LLVM-IR 优化器 - opt

通过 opt 命令,我们可以直接在命令行中调用 LLVM 工具链提供的 IR 代码优化器对 LLVM-IR 代码优化,该优化器同时支持对可读文本以及二进制格式下的 LLVM-IR 代码进行优化,并且可以通过参数执行相应的优化策略。

优化策略比较多,这里不一一列举,只列举一些常用的策略

-mem2reg:该策略会将IR内的内存级变量引用提升为寄存器级变量引用

“-constprop” :该策略主要是用于 “常量传播优化”

“-dce” :该策略主要是用于删除死代码(无法执行到的代码)

opt -S -mem2reg -constprop -dce hello.ll

LLVM 静态编译器 - llc

llc 是 LLVM 命令行工具提供的一个静态编译器。通过该编译器,可以将一个包含有 LLVM-IR 代码的 “.ll' 文件编译为以 “.s” 结尾的为特定平台架构的汇编代码文件。

llc hello.ll

执行完上述命令,会在当前目录生成一个 hello.s 的汇编文件,因为我的机器是 mac os 的,所以生成的汇编文件中会带有 mac os version 等字样

LLVM 汇编器 - llvm-as

通过 llvm-as 命令行工具,可以将包含有可读文本格式的 LLVM-IR 文件转为二进制格式的 LLVM 比特码

llvm-as hello.ll

执行完上述命令,会在当前目录生成一个 hello.bc 的比特码文件,可以通过 hexdump 查看文件具体内容

LLVM 符号表查看器 - llvm-nm

通过 llvm-nm 命令行工具,我们可以查看一个包含二进制 LLVM-IR 比特码的 “.bc” 文件内的符号表信息

上述命令中, “-A” 参数表示在输出结果中显示每个符号的来源文件名。 查看该输出可知在这个 LLVM 模块中存在两个符号,一个是内部名为 “main” 的符号,该符号对应着源码中的主函数,“T” 表示该函数是一个全局对象函数。“printf” 符号是引用外部标准库的函数, 所以用 “U”表示。

上面的实例中,我们生成了多个包含不同状态的 LLVM-IR 中间代码,以及面向特定底层平台架构的汇编代码,对于这些文件,我们都可以使用 Clang 将其编译为可执行的二进制文件。

本文简单介绍了 LLVM 项目,让读者能够了解 LLVM 项目的整体架构,懂得通过改造 LLVM 编译器前端,可以适配多种高级编程语言,包括 Java、Rust、Solidity 等。 鉴于直接通过 Solidity 生成 LLVM IR 难度较大,且 Solidity 语法变更迅速,开发者可通过 Solidity 生成中间语言 YUL ,将 YUL 作为输入提供给 LLVM 前端生成 LLVM IR 字节码,即各种零知识证明需要的表示形式,最后在 ZKEVM 中执行。从理论上来讲这套逻辑没有任何问题,但是实际执行的工程难度还是非常大的,具体细节需要研究后再做定论。

标签:LVMcLA区块链HELLOLVM价格CLAW哪个是区块链最核心的内容Hello Art Token

TRX热门资讯
BRI:我们需要一个真正好用且安全的跨链桥

目前以太坊的交易吞吐量显然已经难以满足区块链不断发展而日益增大的需求,不但用户需要忍受高昂手续费的折磨,开发团队也往往受制于底层架构的限制,需要不断更改产品设计甚至推迟发布时间.

1900/1/1 0:00:00
OSMO:Tendermint 新推出的 Emeris:桥接互联网的加密应用跨链门户

Tendermint 计划在本月发布 Emeris 的测试版,并在 9 月发布支持质押和多个区块链的正式版本.

1900/1/1 0:00:00
BNB:NewB.Farm收益农场即将开启单币质押获取BNB奖励

NewB.Farm收益农场将于2021年8月26日开启全新的单币质押机池,农夫们只需要质押NewB代币,即可获取BNB币,这将为持有NewB代币的农夫们,增加多一个选择收益的机会.

1900/1/1 0:00:00
TIC:Zapper.fi:一个极具空投潜力的DeFi聚合工具

Hi,小伙伴们,今天直接带大家交互一个未来极可能有空投的DeFi聚合工具Zapper.fi。有空投的判断依据是现在ZAPPER开启了打卡和做任务领积分功能,ZAPPER根据积分量的增加来提升系统.

1900/1/1 0:00:00
IDO:Lido:通往去信任的以太坊质押之路

2020 年 12 月 1 日,信标链发布,以太坊由此踏上了向 PoS (权益证明) 共识过渡的征程.

1900/1/1 0:00:00
GALA:口碑爆棚的Town Star 能否让GALA成为链游中的Steam?

如果你不想持有一只股票十年,那就十分钟也不要持有。--沃伦·巴菲特区块链里的每一个游戏,你几乎都能在传统游戏里找到映射。游戏如此,产业链亦如此.

1900/1/1 0:00:00