文章 - 第414页 - 登链社区

从Layer1到Layer3都在做什么？

聊聊这些Layer1、Layer2是什么意思，科普一下～

solidity 编程 Layer

dukedu.eth
发布于 2022-11-20
阅读 ( 4137 )
( 4 )

区块链ID规范

CAIP-2是一种用于人类可读、开发者友好及交易友好的方式来标识区块链。它定义了区块链ID的语法和语义，以便能够在区块链生态系统中唯一标识不同的区块链，如Ethereum和Bitcoin等，并讨论了其在实现过程中的动机和目标。

区块链标识 CAIP-2 链ID 以太坊比特币宇宙

ChainAgnostic
发布于 2022-11-19
阅读 ( 434 )

形式化验证最受欢迎的智能合约 WETH

本文深入探讨了Wrapped ETH（WETH）智能合约的安全性和完整性验证。重点说明了通过使用Z3 SMT求解器所证明的两个重要不变式：WETH的内部会计正确性以及其用户始终能够成功提取已存款的ETH。此外，文章还提及了在WETH合约实现中发现的一个无害的小错误，并讨论了进一步的研究方向。

Wrapped ETH WETH 安全性验证智能合约 Z3 不变式

zellic
发布于 2022-11-19
阅读 ( 342 )

DeFi仍然比中心化交易所更容易被盗

本文主要讲述了FTX交易所崩溃的始末，包括事件的起因、发展、用户资产的去向以及对行业的影响。文章还探讨了DeFi与CeFi的优劣，以及对当前区块链生态系统中过度关注投机资产的现象进行了反思，并呼吁行业关注区块链技术在现实世界中的价值创造。

ftx Alameda Research DeFi CeFi 加密货币交易所

blockapps
发布于 2022-11-19
阅读 ( 95 )

引入无需许可的集中流动性池与农场

Raydium推出无权限的集中流动性池和农场，允许项目团队或用户在Solana上为任何代币对创建市场、引导流动性并选择自定义费用层级，以推动生态系统流动性和资本效率。

Raydium Concentrated Liquidity CLMM Solana Farming Rewards

raydium
发布于 2022-11-18
阅读 ( 593 )

如果Fabric的智能合约函数陷入死循环会怎么样

powervip
发布于 2022-11-18
阅读 ( 2096 )

区块链安全 Move语言安全性分析及合约审计要点之逻辑校验漏洞

in 智能合约安全

本章内容【逻辑校验漏洞】

交易所逻辑漏洞

SharkTeam
发布于 2022-11-18
阅读 ( 3174 )

隐私保护的监管解决方案

该论文探讨了如何通过零知识证明技术来实现区块链的隐私保护与合规性的平衡。文中指出，目前的区块链技术普遍缺乏隐私保护，而这对其广泛应用构成障碍。作者提出，利用零知识证明，可以在保障用户隐私的同时满足法律法规的监控要求，促进合法合规的金融活动。

零知识证明隐私保护区块链合规金融服务 Tornado Cash 法律法规

a16z Crypto
发布于 2022-11-18
阅读 ( 644 )

ChainAegis：Top20 中心化交易所资金储备链上分析-Part 1

in 智能合约安全

Top20 中心化交易所资金储备链上分析-Part 1

交易所

SharkTeam
发布于 2022-11-17
阅读 ( 2685 )

Cosmos 使用 Ignite-Cli 快速开发 NameService 应用

这篇文章主要讲述使用Cosmos的Ignite-Cli工具快速开发NameService应用。NameService的主要功能是用户可以购买域名，给域名设置可以解析的地址或则值，域名拥有者可以删除域名。

Ignite-CLI

VictorXSS
发布于 2022-11-17
阅读 ( 2585 )
( 2 )

Move语言为什么是一个安全的智能合约语言

Move 区块链安全

晴天咩咩
发布于 2022-11-17
阅读 ( 2936 )
( 4 )

Solidity函数是什么？

本文详细介绍了Solidity中的函数类型，包括视图函数、纯函数、特殊函数和回退函数，以及函数的可见性属性。

Solidity 函数类型视图函数纯函数可见性智能合约

Alchemy
发布于 2022-11-17
阅读 ( 459 )

以太坊账户抽象万字研报：拆解 10 个相关 EIP 提案与冲击千万级日活用户瓶颈的七年之路

最新以太坊路线图的第六阶段Splurge中，最新纳入的ERC-4337成为了目前账户抽象（AccountAbstraction）的主要实现方案。

Web3 区块链前沿提案

十四君
发布于 2022-11-16
阅读 ( 3057 )
( 7 )

zk-img：用零知识证明对抗深度伪造技术

本文探讨了深度伪造技术及其对信息可信度的影响，并介绍了一种名为zk-img的新方法，以安全、私密地验证图像编辑，同时隐藏原始图像。zk-img利用零知识证明技术，使得在处理高清图像时，能高效地证明图像的变换有效性，具备较高的实用性。最后，文章强调zk-img在防止信息误导方面的潜力，描绘了一种未来图像验证的愿景。

深度伪造图像验证零知识证明 zk-SNARKs zk-img 隐私保護