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

区块链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
  • 阅读 ( 1320 )

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

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

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

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

如果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
  • 阅读 ( 3284 )
  • ( 2 )

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

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

Solidity函数是什么？

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

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

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

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

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

模仿ERC20写的代币合约

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

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

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

你本可以发现Nomad黑客攻击

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

RBF 争论将由激励和个人选择得出答案

本文作者 Shinobi 讨论了比特币核心（Bitcoin Core）下一个版本 0.24 中引入的全面手续费替换（RBF）交易池选项所引发的争议。文章解释了 RBF 的不同变种，以及矿工通过直接收集交易绕过节点交易池策略的可能性。作者认为，提供全面 RBF 选项实际上是让用户根据自身需求配置节点，更好地适应网络激励机制，而非强制推行某种策略。
比特币  RBF  交易池  矿工  手续费替换  零确认交易