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

在硬件签名器上集成 Taproot

Stepan Snigirev 在 Advacing Bitcoin 2022 上的演讲，主要讨论了在硬件签名器上支持 Taproot 的必要性和面临的挑战，包括隐私性、Miniscript支持、交互式多签名的难点以及随机数生成器的风险。他提出了一些可能的解决方案和应用场景，如闪电网络、原子化互换和服务端签名。
Taproot  硬件签名器  多签名  Miniscript  Schnorr签名  随机数生成器 

Shoal：我们如何降低 Aptos 区块链上 Bullshark 的延迟

本文介绍了 Shoal 框架，它通过流水线和领导者声誉机制增强了基于 Narwhal 的共识协议（如 Bullshark），显著降低了延迟。Shoal 解决了 DAG BFT 中的两个重要开放问题，消除了确定性实用协议中对超时的需要，并在无故障情况下将 Bullshark 的延迟降低了 40%，在故障情况下降低了 80%。
DAG BFT  Narwhal  Bullshark  Shoal  共识协议  领导者声誉 

如何创建一个 ZK 智能合约

如何创建 零知识证明并在Solidity 合约中验证
circom  零知识证明  智能合约 

Filecoin 封装流程（sealing）

Filecoin的sealing主要分为以下4个步骤：Precommit1这一步骤主要生一个G的node节点（32byte），可以当作一个“加密”Key对piecefile（原数据）做labelingencoding。labelingencoding算法可以看成第11层的各个nod
FileCoin 

Celestia 网络是如何解决数据可用性问题的

多年来，应用链理论已经以各种方式实现。随着时间的推移，对模块化的需求在增加，因为链开发人员意识到，通过外包运行dApp所涉及的一些工作，可以更有效地扩展他们的平台。
模块化区块链  Celestia 
  • IBCL
  • 发布于 2023-06-14
  • 阅读 ( 2945 )

RLN:零知识证明防女巫方案简介

RLN:零知识证明防女巫方案简介
女巫攻击  零知识证明 
  • 古千峰
  • 发布于 2023-06-14
  • 阅读 ( 3526 )
  • ( 4 )

Web3 极客日报 #1233

Web3 极客日报 #1233
  • rebase
  • 发布于 2023-06-13
  • 阅读 ( 3062 )
  • ( 4 )

使用 hac-spec 编写可证无硬伤的 BIP 及其实现

Jonas Nick 在 TABConf 2022 大会上介绍了使用 hac-spec 编写规范以实现可证明无 bug 的 BIP 及其实现的方法。Hac-spec 是 Rust 的一个子集，它允许生成简洁、可执行、可验证的密码学规范，并通过形式化验证来减少 bug，并探讨了未来使用工具自动生成安全证明的可能性。
Hac-spec  BIP  形式化验证  密码学  Rust  Coq 

Web3新手必读| 以太坊攻略：如何查询交易和钱包地址?

以太坊作为受欢迎的区块链网络平台，很多Web3项目都建立在其上。以太坊区块浏览器是以太坊区块链的一个重要组成部分，可以帮助用户了解和分析以太坊网络中的数据，也可以用于查找交易、监控钱包地址等应用场景。
  • Tokenview
  • 发布于 2023-06-13
  • 阅读 ( 11977 )
  • ( 4 )

Iskra：重新思考 Launchpad

本文主要介绍了加密货币 Launchpad 的概念和发展，分析了传统 Launchpad 存在的问题，并重点介绍了 Iskra Launchpad 如何通过 Express Tokens 和垂直 Launchpad 模式来解决这些问题，以及其未来混合 Launchpad 的设想，旨在为早期投资者和游戏玩家提供更无缝的体验。
加密货币  Launchpad  IDO  Iskra  Express Token  区块链游戏 

【一】NOVA 系列之NIFS

本系列专题为NOVA系列专题，分六个主题：PedersonandPoseidon， R1CS， NIFS， Circuit， RecursiveSNARK， CompressedSNARK希望通过详尽且直白的阐述能够把NOVA整个框架的设计理念传达到读者，最终落地到实际的crypto应用场景中。
Nova  zkSNARK  folding 
  • 白菜
  • 发布于 2023-06-13
  • 阅读 ( 5336 )
  • ( 53 )

探索ERC-4626：安全指南

ERC-4626是一个标准，用于定义代币化的收益型保险库，以便降低集成难度并创建一致且稳健的实现模式。文章详细讨论了ERC-4626的背景、核心功能及其在DeFi领域中的重要性，强调了标准化对于减少安全风险和促进跨协议集成的重要性。文章还通过Rari Capital和Cream Finance事件，说明缺乏标准化可能导致的安全问题。
ERC-4626  代币化保险库  DeFi  智能合约  安全性 
  • zellic
  • 发布于 2023-06-13
  • 阅读 ( 1559 )

【Web3极客公开课】直播预告：使用 Phalcon 浏览器分析和调试交易 6.14(周三)晚8点

6.14（周三）晚上8点直播

SharkTeam：Atlantis提案攻击原理分析

in  智能合约安全
北京时间2023年6月10日，Atlantis遭受提案攻击，损失近100万美元，攻击者已获利约11万美元。SharkTeam对此事件第一时间进行了技术分析，并总结了安全防范手段，希望后续项目可以引以为戒，共筑区块链行业的安全防线。一****、事件分析****攻击者地址：0xeade071f
  • SharkTeam
  • 发布于 2023-06-13
  • 阅读 ( 3675 )
  • ( 3 )

基于Passkey的智能合约钱包账户抽象签名器 - 应用

本文介绍了一个基于 Passkey 的签名器，用于账户抽象钱包或 SDK，实现基于 Passkey 的登录机制。Passkey 允许用户使用设备的主要身份验证机制（如面容 ID、触摸 ID 或密码）来创建钱包并签署交易。PasskeySigner 扩展了 ethers 提供的抽象签名器，提供使用 Passkey 为区块链签名交易、消息和类型消息的功能，提升用户体验和安全性。
Passkey  签名器  账户抽象  智能合约钱包  ERC-4337  WebAuthn 

智能合约中使用 NatSpec 的最佳实践

使用好 NatSpec 注释规范，可以帮助开发者为智能合约创建更有效的文档。
Solidity  智能合约 

Web3 极客日报 #1232

Web3 极客日报 #1232
  • rebase
  • 发布于 2023-06-12
  • 阅读 ( 1993 )
  • ( 3 )

全球公链进展 每周更新—2023/6/12

一周速览过去一周，明星项目动态如下：BitcoinOrdinals上线递归铭文;Cancun升级纳入的EIP包括EIP-1153、EIP-4788、EIP-4844等5个；HorizenEON将于6月13日进行Gobi测试网升级
  • Tokenview
  • 发布于 2023-06-12
  • 阅读 ( 2596 )
  • ( 3 )

深入EVM-合约分类这件小事背后的风险

从合约为什么要分类出发，结合每个场景可能面对怎样的恶意攻击，最终给出一套达成相对安全的合约分类分析算法。
EVM  以太坊 
  • 十四君
  • 发布于 2023-06-12
  • 阅读 ( 4652 )
  • ( 10 )

Web3 极客日报 #1132

Web3 极客日报 #1132
  • rebase
  • 发布于 2023-06-12
  • 阅读 ( 2029 )
  • ( 3 )