文章 - 第101页 - 登链社区

【zkMIPS系列】zkVM 中的离线内存检查

in zkMIPS解读

在 zkVM 中，离线内存检查用于验证内存读/写的正确性，而无需每次读取时立即验证。它通过构建读集合 (RS) 和写集合 (WS)，在所有操作完成后一次性检查一致性。为此，本文提出 **Multiset Hashing** 和 **LogUp** 两种方法。

ZKM
发布于 2025-03-04
阅读 ( 848 )
( 6 )

BitVM：通过电路抽象解锁比特币上的任意计算 - ZKSECURITY

本文深入探讨了BitVM及其变体如何通过在比特币的UTXO模型上构建电路抽象，实现对比特币上任意计算的验证。通过模拟 covenant、利用一次性签名实现状态性，以及结合时间锁等技术，BitVM 在不修改比特币核心协议的前提下，扩展了其功能，并为高效验证复杂计算开辟了道路。

BitVM UTXO模型电路抽象一次性签名 Covenant Taproot

zksecurity
发布于 2025-03-04
阅读 ( 164 )

如何成为区块链开发者-7：复杂数据类型

本文介绍了Solidity中的两种复杂数据类型：结构体（Struct）和映射（Mapping）。结构体用于创建自定义数据类型，类似于面向对象编程中的类，而映射则类似于字典，用于存储键值对。文章通过代码示例详细解释了它们的用法，并结合一个账户管理的智能合约，展示了如何在实际应用中同时使用结构体和映射，最后还简单介绍了storage, memory, calldata。

Solidity 结构体映射智能合约数据类型 storage memory Calldata

CoinsBench
发布于 2025-03-04
阅读 ( 419 )

EVM详解之memory

文章旨在记录过去所学知识，若文章内容存在不当，欢迎指出。EVM详解之memory

EVM Memeory

KEN
发布于 2025-03-04
阅读 ( 913 )
( 11 )

如何成为区块链开发者-8：继承

本文介绍了Solidity中的继承概念，包括如何使用`is`关键字实现合约继承。文章详细讲解了`virtual`和`override`关键字在函数重写中的作用，以及`internal`关键字在控制函数可见性方面的应用。最后，通过OpenZeppelin的Ownable合约示例，展示了继承在实际开发中的应用，例如权限控制。

Solidity 继承智能合约 OpenZeppelin virtual override internal

CoinsBench
发布于 2025-03-04
阅读 ( 516 )
( 2 )

十大智能合约审计公司与服务

本文介绍了十大智能合约审计公司及其服务，详细说明了智能合约审计的重要性，以及如何选择适合的审计服务。文章涵盖了不同公司提供的技术和专业知识，体现了在区块链项目中进行审计的必要性和益处。

智能合约审计区块链安全 DeFi 审计公司漏洞检测技术评估

Cyfrin
发布于 2025-03-04
阅读 ( 1800 )
( 36 )

Vyper编程语言指南：特性、安全性与应用场景

本文详细介绍了Vyper编程语言，在智能合约开发中的安全性和简洁性，强调了其设计原则与核心特性。通过比较Vyper和Solidity，指出Vyper在安全优先和易审计性方面的优势，同时提供了安装Vyper的步骤和最佳实践，适合需要高安全性的区块链项目开发者。

Vyper 智能合约安全性 EVM 区块链 DeFi

Cyfrin
发布于 2025-03-04
阅读 ( 1100 )
( 23 )

Go 并发编程实战：从互斥锁到 Goroutine 的优雅之道

in Go 语言

Go并发编程实战：从互斥锁到Goroutine的优雅之道你是否曾在并发编程中被数据竞争困扰？或者为如何优雅地实现长时间运行的任务而挠头？Go语言以其简洁的并发模型闻名，goroutine和通道让复杂的并发变得直观易懂。在这篇文章中，我们将从基础的互斥锁开始，逐步深入到Go如何替代事件

寻月隐君
发布于 2025-03-04
阅读 ( 797 )
( 10 )

Web3 极客日报 #1689

rebase
发布于 2025-03-04
阅读 ( 660 )
( 8 )

揭示zkTLS的现实：基准测试与密码分析报告

本文介绍了一种开源的基准测试框架，用于比较现有开源zkTLS库的性能。研究表明，Primus提出的garble-then-prove系统在速度上领先于其他MPC-TLS解决方案，同时发现一些Proxy-TLS实现存在安全缺陷。此外，文章详细探讨了zkTLS的TLS协议概述、两种主要方法（MPC-TLS和Proxy-TLS）的实现细节及其性能测试。

zkTLS MPC-TLS Proxy-TLS 基准测试安全漏洞加密技术

-fI_Eu_rR8qs02aOhOPWNg
发布于 2025-03-04
阅读 ( 584 )
( 10 )

人工智能会取代软件工作吗？

这篇文章探讨了人工智能对软件工程行业的影响，分析了AI在编程任务中的优势与局限性，以及对初级开发者职位的威胁。尽管AI可能取代部分工作，但高级工程师将能通过与AI合作提高生产力。未来的职业要求将日益增加，软件工程的入门门槛也会随之提高。

人工智能软件工程职业前景技能提升 AI合作安全研究

patrickalphac
发布于 2025-03-04
阅读 ( 601 )
( 5 )

Socket事件报告，1月16日

Socket 在 2024 年 1 月 16 日遭遇安全事件，攻击者利用 Socket Aggregator 系统中新模块的漏洞，从已授权无限额度的用户处盗取了约 330 万美元的资金，包括 USDC、USDT、DAI、WETH、WBTC 和 MATIC 等代币。团队迅速响应，暂停了受影响的模块，并与安全团队合作尝试追回资金。目前正在积极联系受影响的用户，并制定安全加强计划。

漏洞攻击资金盗取安全事件以太坊合约

sockettech
发布于 2025-03-04
阅读 ( 44 )

如何使跨链代币重新具备可替代性：第二部分 - ERC-7281

本文探讨了ERC-7281标准如何解决跨链代币的不可替代性问题，提出了一种更有效的代币桥接机制，以提升安全性、流动性和用户体验。ERC-7281的设计允许代币发行者在不割舍控制权的情况下，实现跨链代币的创建和管理，同时通过增强的限额功能改善对区块链桥的风险管理。

ERC-7281 跨链代币 xERC-20 桥接区块链代币标准

2077 Research
发布于 2025-03-04
阅读 ( 2120 )
( 73 )

案例研究：通过ICICLE加速Zircuit的零知识证明

Zircuit是一个EVM兼容的ZK rollup，旨在提升Web3应用的可扩展性和安全性。通过与Ingonyama的ICICLE软件库集成，Zircuit优化了其加密计算，显著改善了性能，降低了成本。本文详细介绍了Zircuit的功能、ICICLE的应用及将来的发展计划。

Zircuit ZK Rollup ICICLE 性能优化块链技术加密计算

ingonyama
发布于 2025-03-04
阅读 ( 625 )
( 10 )

去中心化金融中的暗池(Dark Pool) - 第三部分

文章分析了在去中心化金融中黑池的概念及其运作，深入探讨了Railgun协议如何通过零知识证明和Merkle树实现交易隐私，保护用户身份以及提升DeFi应用的便捷性。文章还总结了不同黑池技术解决方案的优缺点以及未来的发展方向。

Railgun 暗池隐私保护零知识证明 Merkle树去中心化金融

2077 Research
发布于 2025-03-03
阅读 ( 1987 )
( 104 )

深入 Uniswap v4 源码 - BaseActionsRouter

in 深入理解 Uniswap V4

该文章介绍了Uniswap V4 `BaseActionsRouter` 合约中几个核心方法的实现，包括如何批量执行操作、处理解锁回调、计算接收者和支付者地址等。这些方法的实现细节有助于理解合约的工作原理和其在 Uniswap V4 中的应用。

BaseActionsRouter action处理合约开发 uniswap v4 DeFi

adshao
发布于 2025-03-03
阅读 ( 769 )
( 3 )

链抽象的间接影响

本篇文章深入分析了链抽象如何提高资本效率，增强游戏经济，并推动风险投资向以消费者为重点的去中心化应用程序发展。文中详细探讨了链抽象的核心概念，如统一账户、跨链流动性和意图导向交易，并分享了它们在DeFi、游戏和金融市场的应用潜力。文章不仅结构清晰，逻辑严谨，还包含丰富的图示和实例，适合希望理解区块链未来发展方向的读者。

链抽象跨链流动性意图导向交易去中心化金融统一账户区块链技术

Alex Nardi
发布于 2025-03-03
阅读 ( 1064 )
( 53 )

深入 Uniswap V4 源码 - PositionManager