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

DAO治理中的DeFi攻击

本文深入探讨了去中心化自治组织（DAO）中常见的安全漏洞，包括利用闪电贷操纵提案结果、攻击者摧毁用户投票权、通过减少总投票权放大个人投票权、提案创建时快照总投票权不准确、无法达到法定人数以及利用委托金库投票权获取更多委托金库投票权等。文章还讨论了通过委任绕过投票限制、多次使用相同代币投票的风险，并提出了智能合约审计师可以使用的启发式方法来发现类似漏洞。
DAO  去中心化自治组织  智能合约  安全漏洞  闪电贷  投票权  审计 
  • Dacian
  • 发布于 2023-11-11
  • 阅读 ( 66 )

以太坊的Danksharding中的错误纠正 - 利用广义里德-所罗门码增强以太坊的可扩展性

本文探讨了Danksharding在以太坊区块链中的应用，重点介绍了如何利用代数编码理论中的产品码进行数据提取和插值，以提升以太坊的可扩展性。文章提供了使用SageMath的实用示例，展示了通过广义里德-所罗门编码在错误校正和数据完整性方面的应用。
Danksharding  以太坊  产品码  广义里德-所罗门码  数据提取  数据插值 
  • thogiti
  • 发布于 2023-11-10
  • 阅读 ( 601 )

UniswapV2Library 代码详解

in  Uniswap V2 之书
文章详细介绍了 Uniswap V2 Library 的功能和使用方法，主要包括getAmountOut()、getAmountIn()、getAmountsOut()、getAmountsIn()、getReserves() 和 quote() 等函数的工作原理和数学推导过程，并提供了相关代码和图片说明。
Uniswap V2  getAmountOut  getAmountIn  getReserves  quote  Solidity 

编写零知识 dApp

编写零知识 dApp，这篇文章将介绍如何将零知识电路集成到智能合约中，然后再集成到 dApp 中。
circom  snarkjs  零知识证明 

ZK 语言调查：Noir , o1js , Circom , Leo, Cairo, Lurk

ZK 语言调查：Noir , o1js , Circom , Leo, Cairo, Lurk
circom  Noir  Cairo 

为什么比特币钱包需要区块过滤器？

in  BTCStudy 精选
探索比特币钱包需要区块过滤器的理由
比特币钱包 

每周以太坊进展 2023/11/4

每周以太坊进展 2023/11/4
每周以太坊 
  • EthWeekly
  • 发布于 2023-11-06
  • 阅读 ( 2840 )
  • ( 46 )

Uniswap v2 中的 TWAP 预言机工作机制

in  Uniswap V2 之书
本文详细探讨了Uniswap中的价格定义，强调价格作为一种比率的重要性，并介绍了时间加权平均价格（TWAP）的概念及其在防止价格操纵攻击中的作用。此外，文章深入分析了如何在Solidity中实现TWAP的计算和相关的智能合约设计，包括累积价格、快照机制和可能的溢出问题。

与ZKSNARKS和密码学原语一起工作终极指南 - 从可信设置到工作流自动化

本文详细介绍了 ZKSNARK 技术，尤其是如何进行信任设置、设计零知识电路（如乘法电路）以及使用 Groth16 和 PLONK 协议进行相关的 ZKSNARK 操作。内容涵盖了电路的编写、编译、验证，以及如何处理非二次约束的问题。最后，作者提供了使用节点js 和 snarkjs 进行证明生成和验证的详细步骤。
zkSNARK  零知识证明  信任设置  Groth16  PLONK  电路设计 
  • thogiti
  • 发布于 2023-11-04
  • 阅读 ( 592 )

构建Uniswap V2克隆的清单

in  Uniswap V2 之书
文章提供了使用现代Solidity或Huff从头重建Uniswap v2的详细指南，涵盖了多个优化建议和注意事项。

闪电通道 “拼接” 的原理

in  BTCStudy 精选
“拼接（splicing）” 是一个简单的概念，就是指重设闪电通道大小的能力。但随着时间推移，越来越显而易见的是，这种重设闪电通道大小的能力，将给我们带来许多额外的好处，这些好处往往在意料之外，而且从根本上提高了闪电网络的可用性。
闪电网络  通道  比特币 
  • BTCStudy
  • 发布于 2023-11-03
  • 阅读 ( 2915 )
  • ( 6 )

比特币 - Simplicity：超越 Miniscript

Christian Lewe 在 Advancing Bitcoin 2023 大会上介绍了 Simplicity，这是一种新的区块链编程语言，它吸取了 Miniscript 的优点，并具备任意计算和形式化验证能力，旨在解决 Bitcoin Script 的复杂性问题，并支持通用签名哈希模式、零知识证明验证器以及定制化的密码学，最终目标是集成到比特币和 Liquid 网络中。
Simplicity  Miniscript  Bitcoin Script  形式化验证  Taproot  Liquid 

零知识证明的力量：深入理解zk-SNARK

zk-SNARK，即“零知识简洁非交互式知识论证”，使得一名验证者 能够确认一名证明者 拥有某些特定知识，这些知识被称为 witness，满足特定的关系，而无需透露关于见证本身的任何信息。
零知识证明  zkSNARK 

Solidity开发者应掌握的十个智能合约

Solidity开发者应掌握的十个智能合约: ERC-20 合约，ERC-721 合约，简单拍卖合约，众筹合约，托管合约，多签钱包合约，投票合约，域名注册合约，预测市场合约，游戏合约
Solidity  智能合约 

加密朋克宣言 - 中英双语

经典读物《加密朋克宣言》 - 中英双语版
加密思想  隐私  加密朋克 

Circom 语言教程与 circomlib 演示

Circom 语言教程与 circomlib 演示
circom  zkSNARK  零知识证明 

每周以太坊进展 2023/10/28

每周以太坊进展 2023/10/28
每周以太坊 
  • EthWeekly
  • 发布于 2023-10-29
  • 阅读 ( 3042 )
  • ( 48 )

Solidity 0.8.22 发布

Solidity 0.8.22 发布, 改进点包含：文件级事件定义、`unchecked` 循环增量优化、支持导入 EVM 汇编 JSON 等等。
Solidity 

starknet智能合约编写、部署和调用-基于cairo2.3.0

starknet智能合约编写、部署和调用
Starknet  Cairo 
  • Dec-15th
  • 发布于 2023-10-28
  • 阅读 ( 3853 )
  • ( 24 )

GCD - 数论中基本概念的深入探讨

本文详细介绍了最大公约数（GCD）的定义与计算方法，包括欧几里得算法及其扩展算法。通过具体示例与证明，阐述了如何有效地计算GCD及其在数论和密码学中的应用，同时探讨了共质数和 Bézout 定理的理论基础。
最大公约数  欧几里得算法  扩展欧几里得算法  共质数  Bézout 定理 
  • thogiti
  • 发布于 2023-10-27
  • 阅读 ( 646 )