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

【我的 FunC 学习之旅】从激战到驾驭，编程之路的新篇章

近期，我全力以赴投入TON链智能合约的学习，过程虽充满挑战，但收获颇丰。今天，我想与大家分享一下过去一个月以来的学习之旅。学习的初衷很直接：在10亿+用户规模的背景下，不紧跟时代步伐，实属不该。以下是我在学习过程中的点滴感悟和经验。引言大家好，今天我想和大家分享一段特别的旅程——
TON  FunC 
  • King
  • 发布于 2024-08-07
  • 阅读 ( 2472 )
  • ( 62 )

zk-SNARK 系列 - #2 证明多项式的知识

为什么和如何使用 zk-SNARK系列文章
zkSNARK 
  • Maksym
  • 发布于 2024-08-07
  • 阅读 ( 1859 )
  • ( 15 )

解决DApp开发中的链上链下同步问题

本文分析了去中心化应用（DApp）中链上链下状态同步的问题，重点介绍了由于交易生命周期中可能出现的掉单、回滚等情况导致的同步错误。论文提出了两种类型的链上链下同步Bug，并设计了ÐArcher测试框架来有效检测这些Bug。实验结果表明，许多DApp存在此类同步问题，而ÐArcher能有效帮助开发者发现并解决这些问题，从而避免因状态不一致给用户带来不便。
DApp  链上链下同步  以太坊  智能合约  ÐArcher  测试框架 

SSZ基准测试与优化

本文主要介绍了作者计划构建一个高性能的SSZ（Simple Serialize） Rust实现，并通过基准测试套件，在真实的区块链数据上对不同的SSZ实现进行比较。目标是优化以太坊协议中的序列化过程，提高编码/解码的效率，并探索锁步编码和哈希等方法以进一步提升性能。同时，作者还计划构建一个SSZ基准测试套件，用于评估各种SSZ实现的性能，并以图表的方式直观地展示它们的性能差异。
SSZ  序列化  基准测试  Rust  以太坊  性能优化 

Hardhat 入门（二）

hardhat示例工程，Lock.sol代码解析。
Hardhat  Solidity 
  • Antony
  • 发布于 2024-08-07
  • 阅读 ( 1588 )
  • ( 35 )

单Slot最终性研究

该项目旨在研究一种新颖的共识机制，以实现具有动态可用性的单Slot最终性。当前以太坊使用的Gasper协议存在重组攻击和较长的最终确认时间等问题。该研究将深入了解现有架构，寻找新颖的设计，并考虑签名聚合的实际限制，目标是提出一个可行的、具有高经济安全性的单Slot最终性方案，同时满足动态可用性。
单时隙最终性  动态可用性  共识机制  Gasper协议  LMD-GHOST  签名聚合 

OP 中文周刊 #23

OP中文周刊将分享Optimism中发生的情况，并轻松访问最关键的信息，以便轻松了解最新情况并做出明智的决策。在每周回顾中，我们将回顾：Optimism生态系统新闻治理决策和提案更新有影响力的运营活动OP中文力量活动Discourse、Twitter和Discord中与
#OP 

optimism fault-proof背后的机制（五）：op-challenger

op-challenger主要负责操作FDG
fault proof  Optimism 
  • joohhnnn
  • 发布于 2024-08-07
  • 阅读 ( 1422 )
  • ( 26 )

optimism fault-proof背后的机制（四）：op-program

op-program主要分为两大模块
fault proof  Optimism 
  • joohhnnn
  • 发布于 2024-08-07
  • 阅读 ( 1258 )
  • ( 19 )

optimism fault-proof背后的机制（三）：cannon

CANNON是整个fault-proof架构中的核心组件。
fault proof  Optimism 
  • joohhnnn
  • 发布于 2024-08-07
  • 阅读 ( 1550 )
  • ( 71 )

如何更新你的 Solana 客户端以处理版本化交易

本文介绍了 Solana 在 2022 年 10 月 10 日引入的版本化交易（Versioned Transactions）功能，并详细说明了如何更新客户端代码以处理新版本的交易类型，特别是介绍了 `maxSupportedTransactionVersion` 参数的使用和如何避免错误。
Solana  Versioned Transactions  maxSupportedTransactionVersion  getBlock  getTransaction  Address Lookup Tables 

实现Uniswap V4 兑换与避免关键错误

本文深入分析了Uniswap V4的四种交换类型，包括zeroToOne与oneToZero，以及exactInputForOutput与exactOutputForInput的实现和应用。通过详细的代码示例和潜在问题的讨论，为开发者提供了在DeFi应用中构建高效安全交换的实用指南。
Uniswap  token swap  exactInput  exactOutput  Smart Contract  DeFi 
  • bloqarl
  • 发布于 2024-08-06
  • 阅读 ( 400 )

全面指南：构建与部署以太坊多签钱包（MultiSigWallet）智能合约的最佳实践

in  Web3
全面指南：构建与部署以太坊多签钱包（MultiSigWallet）智能合约的最佳实践MultiSigWallet介绍这是一个基于以太坊智能合约的简单多签钱包实现。多签钱包允许多个签名者共同控制钱包资金，以增加安全性和透明度。功能实现⼀个简单的多签合约钱包，合约包含的功能：创建多签钱包时，
多签钱包  Web3  Contract  Solidity  Foundry  solidity 编程 

EIP-3074和EIP-7702：账户抽象的新纪元

这篇文章深入探讨了以太坊的Pectra升级及其对钱包功能和用户体验的提升，特别是EIP-3074和EIP-7702的贡献。文章分析了账户抽象技术的发展及其带来的便利如简化交易和增强安全性，最后总结了这些提案对未来Web3应用的影响。
以太坊  账户抽象  EIP-3074  EIP-7702  智能合约  Web3 

探秘 Circle STARKs （重排版）

探秘 Circle STARKs
Circle  STARK 
  • XPTY
  • 发布于 2024-08-06
  • 阅读 ( 1620 )
  • ( 4 )

在 Sepolia 测试网上利用Foundry和Flashbots实现交易捆绑并获取交易状态信息

在以太坊上使用Solidity和Foundry结合Flashbots实现交易捆绑
Flashbots  Foundry  Solidity 
  • 链创通
  • 发布于 2024-08-06
  • 阅读 ( 2399 )
  • ( 52 )

2024-08-04 zk-insights Weekly

如果你重视零知识证明技术信息的实效性和信息源质量的意义，不想娱乐至死、短视投机、无关广告、推荐算法、劣币驱逐良币的泥沙裹挟迷失，请多支持我们（包括给予赞助支持），让这一汨清流继续流淌～
zk 
  • Coset
  • 发布于 2024-08-06
  • 阅读 ( 1513 )
  • ( 23 )

比特币二层网络入门

本文探讨了比特币二层网络(L2)的必要性，分析了比特币在可扩展性、交易速度和可编程性方面的局限性，并介绍了状态通道、侧链和Rollup等L2解决方案。文章还比较了比特币与以太坊L2的不同之处，以及构建在比特币上的优势，例如利用比特币的流动性、品牌和安全性。最后，文章讨论了比特币L2面临的挑战，包括安全假设和桥接问题，并展望了其在改善网络活动和利用闲置比特币方面的潜力。
比特币  二层网络  L2  状态通道  侧链  Rollup 
  • LI.FI
  • 发布于 2024-08-06
  • 阅读 ( 448 )

通过形式验证审查Solana上的Token扩展

Certora团队利用深度的形式验证工具对Solana上的Token2022扩展进行了审核，并撰写了规范以确保代码按预期行为运行。审核结果发现了性能优化机会并提出了改进建议，同时验证了Solana团队实施的更新，确保了安全性。文章详细探讨了形式验证的应用及其带来的潜在安全收益。
形式验证  Solana  Token2022  安全性  优化  编程扩展 
  • Certora
  • 发布于 2024-08-06
  • 阅读 ( 357 )

Sol链新功能Blinks全解析

Blinks是Solana最近推出的新特性，可以将Solana链上的任意交互转换为一个链接，并且能够嵌入到任何社交媒体和网站中完成交互。
Solana Action  Blinks  Solana 
  • 小符
  • 发布于 2024-08-06
  • 阅读 ( 1689 )
  • ( 27 )