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

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

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

每周以太坊进展 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
  • 阅读 ( 1026 )

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

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

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

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

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

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

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

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

隐私保护的监管解决方案

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

WalletConnect：钱包与 DApp 之间的窄腰协议

本文介绍了 WalletConnect 协议，它旨在解决 web3 生态系统中钱包和 DApp 之间的连接问题。WalletConnect 作为一个通用协议，通过端到端加密通信，实现了任何钱包和任何 DApp 之间的安全连接，类似于“Signal for wallets”。文章还探讨了 WalletConnect 的优势、应用场景，以及未来的发展方向，例如多链支持、推送通知和去中心化消息后端。
walletconnect  DApp  钱包  协议  Web3  移动端 

Miniscript：可组合、可分析、更智能的比特币脚本

本文是Sanket Kanjalkar在Advancing Bitcoin 2022上关于Miniscript的演讲稿，Miniscript旨在解决比特币脚本在分析、使用和组合方面的难题，它通过结构化的方式实现脚本的语义分析、通用签名和互操作性，并可用于创建复杂的花费方案，简化脚本编写和分析的过程。
Miniscript  比特币脚本  脚本  可组合性  Taproot  PSBT 

实现加密隐私与监管合规

本文探讨了在Web3中实现消费者隐私保护和减少非法金融风险的平衡方法，提出了利用零知识证明的三种方案：存款筛选、提款筛选和选择性去匿名化。这些方法旨在提高检测、阻止和扰乱非法金融活动的能力，同时保护良好行为者的隐私。
零知识证明  隐私保护  监管合规  Web3  非法金融  选择性去匿名化 

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

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

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

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

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

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

Solidity函数是什么？

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

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

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