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

初识 TON：账号、Token、交易与资产安全

TON的目标是提供一个高性能和可扩展的区块链平台，以支持大规模的去中心化应用(DApps)和智能合约。
TON 

数据可用性采样(DAS ) #1 ：为什么会需要 DAS？

数据可用性采样(DAS ) #1 ：为什么会需要 DAS？
DAS  数据可用性 
  • EthTaipei
  • 发布于 2024-08-08
  • 阅读 ( 1663 )
  • ( 36 )

利用Renzo-Fuzzing库发现真实漏洞

本文介绍了Renzo协议与EigenLayer的集成，以及通过eigenlayer-fuzzing Repo进行系统不变量测试的重要性。文章详细讨论了几个高严重性漏洞的发现过程，并展示了如何利用renzo-fuzzing Repo进行有效的测试和漏洞发现，从而加强系统安全性。通过这些示例，读者可以了解如何使用不变量测试工具及其在实际协议中的应用。整体上，文章技术性强，有实践指导意义。
Renzo  EigenLayer  不变量测试  漏洞发现  fuzzing  智能合约 
  • Recon
  • 发布于 2024-08-08
  • 阅读 ( 530 )

Solana 共识过程及关键名词（以实际交易为例）

Solana 共识过程及关键名词（以实际交易为例）
Solana 

2024年汇聚互操作性解决方案的现状

本文详细探讨了rollup互操作性的重要性，作者通过自己的经历和技术研究，分析了当前rollup技术在以太坊生态系统中的挑战与机遇。文章提供了对比不同rollup机制的深刻见解，并提出了一些创新的解决方案，如“keystore rollups”，以提升跨链交易的效率与安全性，展望以太坊未来的互操作性发展。
Rollup  互操作性  以太坊  ERC-4337  ZK Rollups  账户抽象 

使用 zkTLS 证明新世界

本文深入探讨了加密生态系统与现实世界之间的隔离现象，提出了数据可移植性的重要性，并介绍了一种新协议zkTLS，该协议旨在通过创建Web2与Web3之间的安全数据通道，推动用户数据在不同平台之间的共享与使用。文中还提到了一些相关项目与未来的挑战。
zkTLS  数据可移植性  Web3  加密生态系统  零知识证明  协议 

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

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

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

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

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

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

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

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

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

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

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
  • 阅读 ( 1604 )
  • ( 4 )

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

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

2024-08-04 zk-insights Weekly

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

Geth 中 5 个数据库的故事

Geth 中 5 个数据库的故事
Geth  Ethdb 
  • SINA
  • 发布于 2024-08-05
  • 阅读 ( 1810 )
  • ( 16 )

OP-DLC 2：大道至简

在比特币中，用户的任意行为均需要通过UTXO实现。因此，使用POW共识机制确保UTXO正确，则能够抵抗任意攻击。类似，在DLC中，对CET添加乐观挑战机制，则能够确保CET的正确执行，从而能够抵抗任意攻击。符合大道至简，具有简洁美。
DLC 

比特币与Layer2资产跨链技术

跨链原子交换因其trustless assumption、即时结算、且无需大量的预签和复杂的挑战流程等轻量级特性，尤其适合用作BitVM跨链桥的重要补充，为普通用户提供资产进出的快速通道。基于适配器签名的原子交换技术，可有效降低链上空间占用，且具有比HTLC更好的隐私性。
适配器签名、跨链原子交换 

每周以太坊 2024/08/03

每周以太坊 2024/08/03
每周以太坊 
  • EthWeekly
  • 发布于 2024-08-04
  • 阅读 ( 1506 )
  • ( 23 )

深入探索 Cairo 编程语言：Starknet 的基础与实践

in  Starknet
深入探索Cairo编程语言：Starknet的基础与实践CairoCairo和Cairo实战主题什么是CairoFieldElementStarklings介绍实战什么是CairoWhatisCairo?Cairoisaprogramminglan
编程语言  Cairo  Starknet  编程  L2  Web3