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

对数大小的承诺证明

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

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

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

解决美索不达米亚——以太坊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
  • 阅读 ( 287 )

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

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

【zkMIPS系列】FRI预备知识

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

深入探讨应用特定序列化

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

11种高级Solidity Gas优化技巧

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

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

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

向量承诺的简洁证明

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

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

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

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

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

内积的零知识证明

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

以太坊 - 钻石标准（EIP-2535）解析 - 第一部分 - Quicknode

这篇文章详细介绍了以太坊的钻石标准（EIP-2535），包括其基本概念、核心组件及其优势。文章结构清晰，包含了对钻石合约及其各个组成部分的深入分析，以帮助读者理解如何模块化和升级智能合约。
钻石标准  EIP-2535  智能合约  模块化  区块链  升级 

如何在Arbitrum Nova上部署智能合约

本文介绍了如何在Arbitrum Nova区块链上使用QuickNode和Hardhat工具构建、部署和交互一个简单的存储智能合约。文章详细解释了Arbitrum Nova的AnyTrust协议及其工作原理，并提供了从开发环境设置到合约部署和交互的完整指南。
Arbitrum Nova  智能合约  Hardhat  QuickNode  AnyTrust  DAC 

合约创建指南： create、create2 和 create3

合约创建指南： create、create2 和 create3 的区别及应用场景
CREATE2  CREATE  create3 
  • Solichain
  • 发布于 2024-10-30
  • 阅读 ( 2026 )
  • ( 51 )

我们准备好提高 gaslimit 了吗？

我们准备好提高 gaslimit 了吗？
Gas  以太坊升级 
  • Erigon
  • 发布于 2024-10-30
  • 阅读 ( 1405 )
  • ( 61 )

密码学基础：协议大全

in  密码学101
本文是密码学系列文章的一部分，重点介绍了基于椭圆曲线的加密协议，包括密钥交换、承诺方案、签名、零知识证明和可验证随机函数等。文章通过清晰的示例和图示，详细解释了这些协议的原理和实现方法。
椭圆曲线  密钥交换  零知识证明  承诺方案  签名  可验证随机函数 

Solana 代币 2022 — Transfer Hook

Solana 代币 2022 — Transfer Hook
Solana  SPL  Token-2022 

十大Web3.0安全最佳实践方式（全篇）超长干货收藏版！

in  CertiK 安全知识分享
十大Web3.0安全最佳实践方式
安全  重入攻击  预言机 
  • CertiK
  • 发布于 2024-10-29
  • 阅读 ( 2549 )
  • ( 106 )

如何集成 Permit2

如何集成 Permit2
permit  Permit2  ERC20