在过去的一段时间里,CertiK团队对比特币生态系统及其发展进行了深入研究。同时,团队还审计了多个比特币项目以及基于不同编程语言的智能合约,包括OKX的BRC-20钱包和MVC DAO的sCrypt智能合约实现。 现在,我们的研究重点转...
1. 引言 Plonky2 是一种基于多项式承诺和Plonk的PIOP交互式证明的零知识证明协议,专注于通过 FRI 技术实现高效的zkSNARK。Plonky2 的主要设计目的是提高传统 zk-SNARKs 在递归零知识证明场景下的效率...
<!--StartFragment--> 在 Solana 上,所有数据都存储在所谓的“账户”中。Solana 上数据的组织方式类似于 [键值存储],其中数据库中的每个条目都称为“帐户”。 <!--EndFr...
<!--StartFragment--> Mina 架構簡介 每個 Mina 智能合約的帳戶可容納 8 個任意字段的元素。每個字段的大小大約為 32 個bytes。這看起來可能不多,但考慮到在底層,以太坊使用了類似的機制,其...
1、函数 Function 1.1、函数 Function 函数是 Move 语言中的代码构建块,它们被用于定义模块的逻辑和行为。在Move 语言中,函数是可重用的代码单元,可以在其他函数中调用或作为执行的入口点。本文将全面介绍...
今天我们来讲一下单元测试,如果大家做到了水分子社区Move语言学习的task8,千万不要像我一样,把验证方法写到了合约上,那测试gas消耗的真叫一个快,而且还不出结果,使用test方式进行本地验证,不但免费,效率还高。当然,单元测试的用处不...
Quant Roadmap 2024/25 Ultimate Edition https://x.com/quant_arb/status/1811884056789045297 0xMax: Stat Arb 梳理总结的量化交易学习路...
我们最近发布了 Mina 证明系统的更新,名为 Kimchi。在这篇文章中,我们将介绍 Kimchi 是什么以及它的不同之处。 简介 作者:David Wong,o1Labs 加密工程师,Mina 协议贡献者 我们最近发...
在区块链技术领域,Walrus 链具有其独特的链下消息格式规范,这些规范对于保障链下信息交互的安全性、准确性和有效性起着至关重要的作用。本文将深入解读 Walrus 链下消息格式的各个关键组成部分,包括签名机制、消息头结构以及不同类型...
<!--StartFragment--> 名人助推与资本涌入:DeSci 再次成为焦点 你是否熟悉 CZ 和 Vitalik?这两位币圈的顶流人物最近再次联手,将 DeSci(去中心化科学)推向了舆论的中心。 币安投...