全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

友好的零知识证明介绍

在本文中，作者用一个形象的例子"沃尔多在哪里"给我们介绍零知识证明的概念、进而说明为什么要关注ZKP以及它们何时有用。我们还了解了它们的工作原理，以及它们为我们提供了哪些属性。并探讨了一些当前和未来可能应用
零知识证明 

智能合约安全审计入门篇 —— 签名重放

了解一个经典的智能合约漏洞 —— 签名重放。
智能合约安全  安全审计  智能合约 

智能合约安全审计入门篇 —— 抢跑

了解一个非常常见的攻击手法 —— 抢跑。
智能合约安全  安全审计  抢跑  智能合约 

学习 ZK 如何入门 - 学习路线 by Taiko.eth 🥁

以下是ZK入门包内容的解读
ZKP  学习路线 

Python、Solidity 和 EVM 中的双线性配对(Bilinear Pairings)

in  零知识证明之书

这篇文章深入探讨了双线性映射（bilinear pairings）的原理及其在密码学中的应用，特别是在验证乘积的离散对数时。
双线性映射  离散对数  椭圆曲线  以太坊预编译  G1  G2 

比特币中的限制条款：用于评审的分类学

in  BTCStudy 精选

限制条款（covenant） 是一种允许内省（introspection）的构造：一个交易的输出，可以为接下来花费它的交易设置条件（超越具体的 “必须提供它自己以及某一个公钥的有效签名”条件）。
比特币 

Fuel: 专注模块化的执行层

本文接收了什么是模块化执行层，Fuel 如何通过 UTXO 的设计来实现快速平行的执行层。
Fuel  Celestia  模块化区块链 

将代数电路转换为R1CS（一阶约束系统）

in  零知识证明之书

文章详细介绍了如何将一组算术约束转换为Rank One Constraint System (R1CS)，涵盖了转换中的优化和Circom库的实现方法。
R1CS  算术电路  circom  Modular Arithmetic  零知识证明 

Celestia： 模块化区块链的世界

阐述 Celestia 的新功能和模块化世界的未来
模块化区块链  Celestia 

Starknet 改进语法全解读

Starknet 改进语法全解读
Starknet  Cairo 

区块链中的数学 -- 蒙哥马利模乘

蒙哥马利模乘算法关键是依赖于一种称为蒙哥马里形式(Montgomery form)的数字的特殊表示。效率高主要是因为避免了昂贵的除法运算。蒙哥马利形式采用一个常数R>N（N是要模的数），该常数与N互素，蒙哥马利乘法中唯一需要的除法是除以R。可以选择常数R，实际上R总是选2的次方，因为2的次方的除法可

ERC-6551 NFT绑定账户提案

该提案定义了一个系统，为每个ERC-721代币提供了一个智能合约账户。这些与代币绑定的账户允许ERC-721代币拥有资产并与应用程序进行交互，而无需对现有的ERC-721智能合约或基础设施进行更改。
ERC6551 
  • dwong
  • 发布于 2023-07-10
  • 阅读 ( 4004 )
  • ( 36 )

等待确认（六）：规则一致性

in  BTCStudy 精选

等待确认（六）：规则一致性
btc 

如何集成 Uniswap V4 并创建自定义Hook

in  DEFI 协议解析

了解Uniswap V4的新功能；如何在自己的合约中集成 Uniswap V4
Uniswap  uniswap v4 

关于Solidity 事件，我希望早一点了解到这些

in  全面掌握Solidity智能合约开发

在这篇文章中，详细说明的事件的日志是如何生成，索引是如何影响日志的生成，字符串等变长数据是如何处理的。同时介绍了在前端如何获取事件。
事件 
  • Tiny熊
  • 发布于 2023-07-06
  • 阅读 ( 4881 )

Solana - 鉴别器 Discriminator

本文介绍了 Anchor 框架中 Discriminator 的概念、作用和必要性。Discriminator 作为唯一标识符，用于区分不同类型的数据和账户结构，确保程序在运行时能够正确处理数据，防止类型相关的错误，增强程序的健壮性和安全性。
Discriminator  Anchor框架  账户结构  数据类型  唯一标识符  序列化 

给 Solidity 开发者的 Cairo 编程指南

给 Solidity 开发者的 Cairo 编程指南
Cairo  Solidity 

12.slither检测器之四——变量重写检测

in  Slither漏洞扫描框架使用(初级篇)

遍历所有的节点处理变量读写关系的示例
Slither  漏洞分析  漏洞检测 
  • 小驹
  • 发布于 2023-07-04
  • 阅读 ( 2756 )

DeFi 合约安全的新模式：关注协议不变性

在 DeFi 合约中，常见模式是Checks-Effects-Interactions（检查-生效-交互）模式， 不够好，它会让开发者忘记协议的核心不变性。 作者提出了一个新的模式：FREI-PI： 功能检查-生效-交互+协议不变性，让我们更多关注协议的不变性（安全性）。
DeFi  智能合约 
  • Tiny熊
  • 发布于 2023-07-04
  • 阅读 ( 4196 )
  • ( 74 )

11.slither检测器之三——批量函数调用检测

in  Slither漏洞扫描框架使用(初级篇)

本文会涉及到slither中几类call的区别，slither遍历node时的常用的递归框架，以及将这两类知识应用到批量函数调用风险的检测中。
Slither  漏洞检测  漏洞分析 
  • 小驹
  • 发布于 2023-07-03
  • 阅读 ( 2861 )
  • ( 5 )