在本文中,作者用一个形象的例子"沃尔多在哪里"给我们介绍零知识证明的概念、进而说明为什么要关注ZKP以及它们何时有用。我们还了解了它们的工作原理,以及它们为我们提供了哪些属性。并探讨了一些当前和未来可能应用
了解一个经典的智能合约漏洞 —— 签名重放。
了解一个非常常见的攻击手法 —— 抢跑。
以下是ZK入门包内容的解读
这篇文章深入探讨了双线性映射(bilinear pairings)的原理及其在密码学中的应用,特别是在验证乘积的离散对数时。
限制条款(covenant) 是一种允许内省(introspection)的构造:一个交易的输出,可以为接下来花费它的交易设置条件(超越具体的 “必须提供它自己以及某一个公钥的有效签名”条件)。
本文接收了什么是模块化执行层,Fuel 如何通过 UTXO 的设计来实现快速平行的执行层。
文章详细介绍了如何将一组算术约束转换为Rank One Constraint System (R1CS),涵盖了转换中的优化和Circom库的实现方法。
阐述 Celestia 的新功能和模块化世界的未来
Starknet 改进语法全解读
蒙哥马利模乘算法关键是依赖于一种称为蒙哥马里形式(Montgomery form)的数字的特殊表示。效率高主要是因为避免了昂贵的除法运算。蒙哥马利形式采用一个常数R>N(N是要模的数),该常数与N互素,蒙哥马利乘法中唯一需要的除法是除以R。可以选择常数R,实际上R总是选2的次方,因为2的次方的除法可
该提案定义了一个系统,为每个ERC-721代币提供了一个智能合约账户。这些与代币绑定的账户允许ERC-721代币拥有资产并与应用程序进行交互,而无需对现有的ERC-721智能合约或基础设施进行更改。
等待确认(六):规则一致性
了解Uniswap V4的新功能;如何在自己的合约中集成 Uniswap V4
在这篇文章中,详细说明的事件的日志是如何生成,索引是如何影响日志的生成,字符串等变长数据是如何处理的。同时介绍了在前端如何获取事件。
本文介绍了 Anchor 框架中 Discriminator 的概念、作用和必要性。Discriminator 作为唯一标识符,用于区分不同类型的数据和账户结构,确保程序在运行时能够正确处理数据,防止类型相关的错误,增强程序的健壮性和安全性。
给 Solidity 开发者的 Cairo 编程指南
遍历所有的节点处理变量读写关系的示例
在 DeFi 合约中,常见模式是Checks-Effects-Interactions(检查-生效-交互)模式, 不够好,它会让开发者忘记协议的核心不变性。 作者提出了一个新的模式:FREI-PI: 功能检查-生效-交互+协议不变性,让我们更多关注协议的不变性(安全性)。
Checks-Effects-Interactions(检查-生效-交互)
功能检查-生效-交互+协议不变性
本文会涉及到slither中几类call的区别,slither遍历node时的常用的递归框架,以及将这两类知识应用到批量函数调用风险的检测中。
扫一扫 - 使用登链小程序
203 篇文章,719 学分
492 篇文章,675 学分
67 篇文章,563 学分
131 篇文章,556 学分
413 篇文章,504 学分