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

zkVM 测试报告：评估 Nescience 的零知识虚拟机

zkVM 测试报告
zkMIPS  zkVM  zkWasm 
  • Vac.dev
  • 发布于 2024-11-12
  • 阅读 ( 2442 )
  • ( 18 )

Solana基础概念【上】

本文介绍了Solana比较重要的一些核心概念和基本原理，包括共识机制、POH、Leader选举、账户模型、Solana租金等等
Solana  POH 

掌握 AMM：自动化做市商的完整指南

探讨各种 **去中心化交易所（DEX）模型**，首先从 AMM 开始，分解促成特定协议成功的机制和优势。
DEX  Uniswap  1inch 

如何实现 Permit2

这是一种与所有 ERC-20 代币兼容的代币批准系统，简化了用户体验并减少了他们的经济负担。
ERC20  Permit2 
  • Cyfrin
  • 发布于 2024-11-08
  • 阅读 ( 3567 )
  • ( 47 )

Nick 的方法 - 以太坊无密钥执行/部署方法

通过无密钥执行/部署方法，在无需信任的情况下，实现多链上部署同一合约到同一地址的能力。
合约工厂  合约部署  Nick  CREATE  EIP155 

如何实现 EVM 链无许可、无感知的合约部署

如何实现 EVM 链无许可、无感知的合约部署
EIP155  合约工厂 
  • thirdweb
  • 发布于 2024-11-07
  • 阅读 ( 1951 )
  • ( 32 )

范围证明

in  零知识证明之书
本文详细介绍了Bulletproofs在范围证明中的构建方法，通过验证向量aL的二值性和其与向量2n的内积来证明标量v的范围在2^n内。文章还展示了几种代数技巧，并通过Monero的使用实例说明了该技术的应用。
Bulletproofs  范围证明  内积证明  Monero  零知识证明 

Foundry 单元测试

Foundry 单元测试
合约测试  Foundry 

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

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

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

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

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

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

内积代数

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

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

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

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

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

如何使用 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
  • 阅读 ( 959 )

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

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

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

【zkMIPS系列】FRI预备知识

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