精选文章 - 第46页

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

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

Renzo EigenLayer 不变量测试漏洞发现 fuzzing 智能合约

Recon
发布于 2024-08-08
阅读 ( 882 )

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

Solana

戈多Godot
发布于 2024-08-08
阅读 ( 4201 )
( 63 )

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

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

Rollup 互操作性以太坊 ERC-4337 ZK Rollups 账户抽象

2077 Research
发布于 2024-08-08
阅读 ( 1047 )

使用 zkTLS 证明新世界

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

zkTLS 数据可移植性 Web3 加密生态系统零知识证明协议

yasu.block
发布于 2024-08-08
阅读 ( 838 )

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

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

TON FunC

King
发布于 2024-08-07
阅读 ( 2848 )
( 62 )

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

为什么和如何使用 zk-SNARK系列文章

zkSNARK

Maksym
发布于 2024-08-07
阅读 ( 2128 )
( 15 )

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

op-challenger主要负责操作FDG

fault proof Optimism

joohhnnn
发布于 2024-08-07
阅读 ( 1638 )
( 26 )

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

CANNON是整个fault-proof架构中的核心组件。

fault proof Optimism

joohhnnn
发布于 2024-08-07
阅读 ( 1802 )
( 71 )

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

本文深入分析了Uniswap V4的四种交换类型，包括zeroToOne与oneToZero，以及exactInputForOutput与exactOutputForInput的实现和应用。通过详细的代码示例和潜在问题的讨论，为开发者提供了在DeFi应用中构建高效安全交换的实用指南。

Uniswap token swap exactInput exactOutput Smart Contract DeFi

bloqarl
发布于 2024-08-06
阅读 ( 1004 )

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

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

以太坊账户抽象 EIP-3074 EIP-7702 智能合约 Web3

BuildBear
发布于 2024-08-06
阅读 ( 856 )

探秘 Circle STARKs （重排版）

探秘 Circle STARKs

Circle STARK

XPTY
发布于 2024-08-06
阅读 ( 1882 )
( 4 )

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

在以太坊上使用Solidity和Foundry结合Flashbots实现交易捆绑

Flashbots Foundry Solidity

链创通
发布于 2024-08-06
阅读 ( 2882 )
( 52 )

2024-08-04 zk-insights Weekly

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

zk

Coset
发布于 2024-08-06
阅读 ( 1840 )
( 23 )

Geth 中 5 个数据库的故事

Geth Ethdb

SINA
发布于 2024-08-05
阅读 ( 2193 )
( 16 )

OP-DLC 2：大道至简

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

DLC

Bitlayer Labs
发布于 2024-08-05
阅读 ( 1910 )
( 8 )

比特币与Layer2资产跨链技术

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

适配器签名、跨链原子交换

Bitlayer Labs
发布于 2024-08-05
阅读 ( 2356 )
( 14 )

每周以太坊 2024/08/03

每周以太坊

EthWeekly
发布于 2024-08-04
阅读 ( 1734 )
( 23 )

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

in Starknet

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

编程语言 Cairo Starknet 编程 L2 Web3

寻月隐君
发布于 2024-08-04
阅读 ( 2351 )
( 37 )

在Solana上的应用零知识证明

本文是介绍零知识证明的系列文章中的第二篇，主要探讨它们在Solana上的应用，特别是ZK压缩技术。这项技术通过验证状态转换来降低链上状态存储成本，并解决Solana的状态增长问题。同时文章详细解析了零知识证明的原理、zk-SNARKs和zk-STARKs的区别、ZK压缩的工作机制，以及未来在Solana上的发展潜力。

零知识证明 ZK压缩 zk-SNARKs ZK-STARKs Solana 状态增长问题

Helius
发布于 2024-08-04
阅读 ( 1198 )

质押收益分红模型 stake rewards

质押收益分红复利模型

b1wl7cH
发布于 2024-08-03
阅读 ( 2787 )
( 47 )