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

Foundry 单元测试

Foundry 单元测试
合约测试  Foundry 

通过随机线性组合减少等式检查（约束）的数量

in  零知识证明之书

本文深入探讨了如何在零知识证明算法中利用随机线性组合来有效地检查多个等式的相等性。通过实例展示了Pedersen承诺的等式验证过程，并提出了一种减少通信开销的方法。这种技术能够实现对多个内积同时进行验证，从而提高效率。
零知识证明  Pedersen承诺  随机线性组合  内积  安全性分析  Bulletproofs 

全面比较：什么是 zk-SNARKs 和 zk-STARKs？

全面比较：什么是 zk-SNARKs 和 zk-STARKs？
ZKP 
  • cyfrin
  • 发布于 2024-11-04
  • 阅读 ( 2186 )
  • ( 29 )

引介 Wrapped Native：Wrapped Ether 的现代替代品

Wrapped Native 一个更好的原生代币 Wrap 方案
WETH 

内积代数

in  零知识证明之书

文章介绍了在推导范围证明和编码电路时，内积运算的一些有用代数技巧，并提供了每个规则的简单证明。
内积  Hadamard积  范围证明  代数技巧  向量  标量 

什么是抢跑交易 - 它是如何运作？

本文深入探讨了区块链和加密货币中的抢跑（front-running）现象及其工作原理，介绍了最大可提取价值（MEV）和区块链内存池（mempool）的概念，并探讨了如何防止前运行攻击的策略。同时，文中还通过示例和代码分析了MEV的实际应用和潜在风险。
最大可提取价值  区块链内存池  防止前运行  智能合约  MEV  抢跑 
  • cyfrin
  • 发布于 2024-11-03
  • 阅读 ( 173 )

全面比较权益证明（PoS）与工作量证明（PoW）

本文详细比较了两种主要的区块链Sybil抵抗机制：工作量证明（PoW）和权益证明（PoS）。文章探讨了它们的工作原理、优缺点及各自对区块链安全性的影响，并对二者如何防止Sybil攻击进行分析。最后，文章强调了这两种机制在去中心化方面的重要性。
工作量证明  权益证明  Sybil攻击  区块链共识  区块链安全  去中心化 
  • cyfrin
  • 发布于 2024-11-03
  • 阅读 ( 251 )

如何使用 Rarepress 在 Rarible 上懒惰铸造 NFT

本文介绍了利用Rarepress在以太坊上进行懒生成NFT的过程，解决了高燃气费带来的问题。读者将学习如何安装和配置Rarepress，编写JavaScript代码，通过Lazy Minting在Rarible上成功生成和上市自己的NFT，并提供了相关的代码示例和详细的操作步骤。
NFT  Lazy Minting  Rarepress  JavaScript  以太坊  Rarible 

对数大小的承诺证明

in  零知识证明之书

本文详细阐述了如何在零知识证明（ZKP）中通过递归折叠的方法，减少向验证者传输的数据量，从而高效地证明内积和向量的承诺。文章包括算法的详细描述、数学推导和代码实现。
零知识证明  内积  递归折叠  向量承诺  Bulletproofs 

MEV重新分配的探索 - 整合数学模型和战略视角

本文深入探讨了最大可提取价值（MEV）的重新分配问题，提出了一种综合模型，通过数学格式化与战略分析，阐明了区块链生态系统中交易顺序流的影响及其对价值分配的动态影响。文章讨论了各种区块链参与者（如交易发起人、提取者和验证者）的角色，并提出了公平的MEV分配机制，以促进区块链系统的公正性和效率。
Maximal Extractable Value  MEV redistribution  blockchain  economic analysis  game theory  transaction ordering 
  • thogiti
  • 发布于 2024-11-01
  • 阅读 ( 190 )

解决美索不达米亚——以太坊PBS中密封竞标拍卖的奇妙世界

本文深入探讨了以太坊的PBS机制中第一次封闭投标拍卖（FPSBA）和第二次封闭投标拍卖（SPSBA）中的边缘案例，特别是关于不诚实投标方及投标信息泄露的情境，分析其对拍卖完整性和效率的影响。文章采用数学模型描述不同情况下投标者的行为，并提供应对这些问题的策略和修正建议。
First Price Sealed Bid Auction  Second Price Sealed Bid Auction  Proposer Builder Separation  bid leakage  dishonest bidding  auction efficiency 
  • thogiti
  • 发布于 2024-11-01
  • 阅读 ( 110 )

区块链重放攻击的最常见类型有哪些？

本文详细探讨了区块链重放攻击及其五种常见类型，包括缺失应用程序随机数、硬分叉、跨链、签名可变性和密码学随机数重用。文章还提供了针对这些攻击的有效防护措施，并引用了示例代码来展示如何实现这些保护机制。
区块链  重放攻击  应用程序随机数  硬分叉  跨链  签名可变性 
  • cyfrin
  • 发布于 2024-11-01
  • 阅读 ( 227 )

【zkMIPS系列】FRI预备知识

in  zkMIPS解读

FRI预备知识：多项式的阶、群与有限域、Reed-Solomon码、FRI动机、密码工具Merkle树
zkVM  zkMIPS 
  • ZKM
  • 发布于 2024-11-01
  • 阅读 ( 1238 )
  • ( 76 )

深入探讨应用特定序列化

这篇文章详细探讨了应用特定排序（ASS）在去中心化应用程序（dApps）中的重要性，旨在优化用户体验和防止价值泄露。文章分析了交易排序的不同机制，如中心化、去中心化和共享排序，强调了每种方法的优缺点，并通过具体案例展示如何在同一架构下平衡可组合性与价值捕获。
应用特定排序  去中心化应用  交易排序  最大可提取价值  区块链安全 
  • thogiti
  • 发布于 2024-11-01
  • 阅读 ( 197 )

11种高级Solidity Gas优化技巧

本指南介绍了11种高级的Solidity gas优化技巧，强调优化智能合约的gas成本能够显著提升协议的可扩展性和用户体验。通过减少链上数据、使用映射而非数组、利用常量和不可变变量等方法，开发者可以实现高达90%的gas节省。这些优化策略不仅能降低成本，还能提升合约的安全性。
Solidity  gas优化  智能合约  映射  常量  可变性 
  • cyfrin
  • 发布于 2024-10-31
  • 阅读 ( 141 )

在Web3中避免加密诈骗，确保你的资金安全：第二部分

本文深入探讨了Web3领域的复杂加密诈骗，包括最大可提取价值（MEV）攻击、SIM卡交换及DNS攻击，并提供了实际的安全防护建议。文章从诈骗原理出发，详细解读各种攻击形式，以及针对每种攻击给出了切实可行的防范措施，旨在提升用户的网络安全意识。
加密诈骗  MEV攻击  SIM交换  DNS攻击  网络安全  操作安全 
  • cyfrin
  • 发布于 2024-10-31
  • 阅读 ( 177 )

向量承诺的简洁证明

in  零知识证明之书

文章介绍了如何在不发送整个向量的情况下，证明已知 Pedersen 向量承诺的开启，并详细描述了算法的实现和安全问题。
Pedersen Commitment  inner product  outer product  Zero Knowledge  verifier  prover 

用于检测变形智能合约的工具

变形智能合约指的是在合约地址上的代码会被修改。 本文介绍一个工具用于检测变形智能合约
CREATE2  变形智能合约  create3 

如何构建一个以太坊网址缩短器去中心化应用程序（dApp）

本文详细介绍了如何在以太坊上构建一个去中心化的URL缩短应用程序（dApp），包括必要的准备工作、智能合约的编写与解析、前端开发以及后端服务器的设置。文章不仅提供了完整的步骤和代码示例，还强调了去中心化应用在数据安全性和抗审查方面的优势，适合希望深入了解以太坊dApp开发的开发者。
DApp  以太坊  URL缩短器  Solidity  智能合约  前端开发 

内积的零知识证明

in  零知识证明之书

本文详细介绍了如何在零知识证明中构造内积证明，通过向量多项式和内积计算，展示了如何在不泄露原始数据的情况下证明内积计算的正确性。文章还提供了相关算法的具体实现步骤，并指出如何进一步优化证明大小。
零知识证明  内积证明  向量多项式  Hadamard积  椭圆曲线密码学  证明优化