Young Rocks 的文章 - 登链社区

一键转载

TA的文章 TA购买的 TA喜欢的 TA收藏的

zkMove 第一次公开亮相

前段时间应 Move 核心开发者 zrt 之邀，在 Move 社区的周会上做了一个分享，介绍了 zkMove 的整体架构并演示了其命令行工具的使用，这应该算是 zkMove 第一次公开亮相。我整理了一下相关内容，欢迎感兴趣的朋友一起探讨。

Layer2 Move 虚拟机

更新于2022-07-15 15:25 阅读(3421) 点赞(3) ( 25 )

聊一聊 zkMove （二）

本文是 zkMove 系列的第二篇文章，我们以 zkMove 最典型的使用场景 zk-rollup 为例来说明其工作原理。

Move Layer2 虚拟机

更新于2022-01-26 23:34 阅读(2672) 点赞(0) ( 6 )

聊一聊 zkMove（一）

本文是 zkMove 系列的第一篇，介绍了项目创建的背景和用途。

零知识证明 Move zkMove

更新于2022-01-23 18:47 阅读(2789) 点赞(2) ( 7 )

Move智能合约的形式化验证工具

“程序测试能证明错误的存在, 但不能证明错误不存在” – Edsger Dijkstra。智能合约是一个对安全性要求非常高的领域，一个不经意的小 bug 很可能会导致不可估量的损失。

形式化验证 Move

更新于2022-01-20 23:34 阅读(4214) 点赞(2) ( 10 )