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

每周以太坊进展 2022/11/19

每周以太坊进展 2022/11/19
每周以太坊 

Web2 vs. Web3，社交工具的发展会有什么变化？

Web3 社交应用应该能承载用户在Web2 累计的数据来实现同时兼容 Web2 和 Web3 身份的验证，以保证在账户真实性的情况下将数据所有权交还给用户，实现数据归属自主化、流程使用友好化、产品设计合理化的最核心特质。
Web3  Web2 

深入了解Solidity数据位置 - Calldata

in  理解 EVM - 探究Solidity 背后的秘密
深入了解Solidity数据位置 - Calldata
EVM  Calldata 

从Layer1到Layer3都在做什么？

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

区块链ID规范

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

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

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

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

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

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

Raydium推出无权限的集中流动性池和农场，允许项目团队或用户在Solana上为任何代币对创建市场、引导流动性并选择自定义费用层级，以推动生态系统流动性和资本效率。
Raydium  Concentrated Liquidity  CLMM  Solana  Farming Rewards 
  • raydium
  • 发布于 2022-11-18
  • 阅读 ( 677 )

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

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

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

in  智能合约安全
本章内容【逻辑校验漏洞】
交易所  逻辑漏洞 

隐私保护的监管解决方案

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

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

in  智能合约安全
Top20 中心化交易所资金储备链上分析-Part 1
交易所 

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

这篇文章主要讲述使用Cosmos的Ignite-Cli工具快速开发NameService应用。NameService的主要功能是用户可以购买域名，给域名设置可以解析的地址或则值，域名拥有者可以删除域名。
Ignite-CLI 
  • VictorXSS
  • 发布于 2022-11-17
  • 阅读 ( 2664 )
  • ( 2 )

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

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

Solidity函数是什么？

本文详细介绍了Solidity中的函数类型，包括视图函数、纯函数、特殊函数和回退函数，以及函数的可见性属性。
Solidity  函数类型  视图函数  纯函数  可见性  智能合约 
  • Alchemy
  • 发布于 2022-11-17
  • 阅读 ( 538 )

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

最新以太坊路线图的第六阶段Splurge中，最新纳入的ERC-4337成为了目前账户抽象（AccountAbstraction）的主要实现方案。
Web3  区块链  前沿提案 
  • 十四君
  • 发布于 2022-11-16
  • 阅读 ( 3112 )
  • ( 7 )

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

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

模仿ERC20写的代币合约

模仿ERC20写的代币合约
ERC20  Solidity 
  • arrom
  • 发布于 2022-11-16
  • 阅读 ( 2446 )
  • ( 4 )

密码学：后量子密码学中的模数是多少？

公钥加密的旧篇章即将结束，新篇章即将开启。在20世纪70年代末完成的工作对我们很有帮助，但现在我们面临着量子计算机会打破这些方法的威胁。
密码学 

你本可以发现Nomad黑客攻击

本文探讨了Nomad桥的漏洞及其被黑的原因，强调了未审计代码带来的安全风险，并介绍了一项新工具——审计覆盖追踪器，该工具旨在提供DeFi协议代码的审计状态信息，从而帮助开发者和用户避免类似的安全问题。
Nomad桥  漏洞  审计  DeFi  智能合约  安全风险 
  • zellic
  • 发布于 2022-11-16
  • 阅读 ( 351 )