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

Girault知识证明中的“冰冻之心”漏洞

本文揭示了Girault知识证明中的一个名为“冰冻之心”的漏洞，该漏洞源于Fiat-Shamir转换的不安全实现，允许恶意用户伪造随机声明的证明。
零知识证明  Fiat-Shamir转换  Girault知识证明  冰冻之心漏洞  离散对数  密码学 

Mercury 状态链协议详述

本文档描述了 Mercury 状态链系统的规范。该系统无需链上交易，即可在多方间转移比特币UTXO的所有权。该功能依赖于一个受信任的第三方，即状态链实体（SE），但SE无法托管UTXO，从而降低了合规要求。文章详细介绍了UTXO类型、P2PKH输出的转移过程、UTXO状态链的运作机制，以及相关的协议流程。
状态链  UTXO  多方安全计算  ECDSA  Mainstay  时间锁 

Creat Future 攻击复现

北京时间 2022 年 4 月 11 日， CF 代币合约被发现存在未验证发送者权限的漏洞，它允许任何人转移他人的 CF 余额。到目前为止，损失约为 190 万美元，而 pancakeswap 上 CF/USDT 交易对已经受到影响。
区块链安全 

dapp批量转账Pro版本

因为有很多兄弟反馈 需要一个多地址 多数量的批量转账功能所以我增加了一个Pro版本github地址 https://github.com/Sexy-J/multiTransfer 前端演示地址 https://multitransfer.4everla...
DApp 
  • i am duck
  • 发布于 2022-04-15
  • 阅读 ( 3763 )
  • ( 5 )

IPFS 和 智能合约

[IPFS](https://learnblockchain.cn/2018/12/25/use-ipfs) 提供了一种将文件分发到世界各地的方法，在这种方法中，我们使用哈希值(CID—内容标识符—是文件的SHA-256哈希版本)来标识内容。这一定程度上简化了我们创建的复杂URL结构。
IPFS 

超级详细BSC链智能全节点搭建全教程详细步骤 - 2022最新版

超级详细[BSC链智能全节点搭建](https://learnblockchain.cn/article/3621)全教程详细步骤
bsc主网  BSC  BSC主网快照数据  bsc节点 

用 Pay-to-EndPoint 提高隐私性

本文介绍了Pay-to-EndPoint (P2EP) 技术，旨在通过让支付者和接收者都为交易提供输入，打破比特币区块链分析中“输入所有权同一”的假设，从而提高比特币交易的隐私性。P2EP不需改变比特币协议，且创建的交易与常规交易无异，提高交易隐私和同质性。
Pay-to-EndPoint  P2EP  隐私性  区块链分析  同质性  UTXO 

排错：exceeds block gas limit

排错：exceeds block gas limit
以太坊  错误处理 
  • 胡键
  • 发布于 2022-04-14
  • 阅读 ( 2432 )

Schwartz-Zippel 引理的证明

[Schwartz-Zippel](https://learnblockchain.cn/2019/05/27/groth16) 引理是关于有限域中的多变量多项式零点个数的紧致上界，具体表述如下：
零知识证明 
  • XPTY
  • 发布于 2022-04-14
  • 阅读 ( 4286 )

影响 Girault、Bulletproofs 和 PlonK 的漏洞的协同披露

Trail of Bits 公开披露了多个零知识证明系统（包括 PlonK 和 Bulletproofs）实现中的严重漏洞，这些漏洞由 Fiat-Shamir 转换的不安全实现引起，允许恶意用户伪造随机语句的证明。
零知识证明  Fiat-Shamir变换  Frozen Heart  PLONK  Bulletproofs  密码学 

零时科技 | ERC721R 风险分析

由于ERC721R刚刚被提出来，出现安全问题可以及时修复改进，目前来看该提议解决了大多数人的痛点，为NFT市场添加了推动剂。
风险评估  区块链安全  安全审计 

零知识证明的硬件加速

零知识证明（ZKP）是一项重要的密码技术，具有显著的隐私和可扩展性优点。尽管ZKP在计算速度上存在挑战，但通过使用FPGAs等专用硬件，可以显著提高生成速度。随着区块链的普及，ZKP的需求将不断增长，可能会催生新的矿业行业。
零知识证明  ZKP  区块链  FPGA  隐私计算  可扩展性 

慢雾 | 余弦：区块链黑暗森林自救手册

[区块链](https://learnblockchain.cn/article/1247)是个伟大的发明，它带来了某些生产关系的变革，让「信任」这种宝贵的东西得以部分解决。但，现实是残酷的，人们对区块链的理解会存在许多误区。这些误区导致了坏人轻易钻了空子，频繁将黑手伸进了人们的钱包，造成了大量的资金损失。这早已是黑暗森林。基于此，慢雾科技创始人余弦倾力输出——区块链黑暗森林自救手册。
区块链安全  安全技术研究 

关于 PoS 你所需要知道的事

in  以太坊中文 · ETH
合并临近，作者回应了社区提出的一些质疑与问题，阐述 [PoS](https://learnblockchain.cn/article/2492) 设计的合理性。
共识层  PoS  合并 

像专业人士一样部署智能合约！！！

本文介绍了一种改进智能合约部署脚本的方法，重点介绍使用 `hardhat-deploy` 插件提升部署过程的质量和专业性。文章提供了详细的步骤、代码示例和目录结构，以帮助读者理解和实现这一技术。
智能合约  Hardhat  hardhat-deploy  部署  区块链开发 

关于零知识证明的研究

本文对零知识证明的过程进行分析，希望读者可以对零知识证明的整体流程有所了解，后续讨论零知识证明原理的时候我们都是在放大讨论这篇文章中的某一部分，再去接触一些令人眼花缭乱的技术时，我们能够很清晰的知道，这项技术是解决了零知识证明的哪部分问题，针对哪部分进行了优化，就像文末介绍的较新的[STARK](https://learnblockchain.cn/article/269)中的AIR其实是用来替换r1cs作为另外一种描述NP问题的方式。
零知识证明 

Simplicity：高度安全的智能合约编程语言

Simplicity 是一种用于区块链智能合约的底层编程语言和机器模型，其设计目标是拥有简单的语义，以便进行形式化分析和推理。它旨在解决在表达能力和可靠性之间权衡的问题，允许开发者设计复杂的智能合约并验证其安全性、可靠性和成本。Blockstream 发布了 Simplicity 的源代码，并计划将其集成到 Elements 平台。
Simplicity  智能合约  区块链  Coq  Elements 平台  编程语言 

以太七日谈 • 2022/4/12

主网影子分叉成功进行合并；Arbitrum Nitro 开发者测试网
以太七日谈 

Solana程序第二部分：理解SPL关联代币账户

本篇文章深入介绍了Solana的SPL关联代币账户（ATA）程序，包括其技术细节、创建和管理用户代币账户的机制，以及在创建嵌套ATA时可能遇到的问题与解决方案。文章详细阐述了相关指令的使用和实现逻辑，适合对Solana生态系统和智能合约深入了解的开发者。
Solana  SPL Token  Associated Token Account  pda  智能合约  区块链 
  • Sec3dev
  • 发布于 2022-04-12
  • 阅读 ( 830 )

以太坊合约 ABI 和 EVM 字节码

本文从理论和命令行实践解释以太坊合约 [ABI](https://learnblockchain.cn/2018/08/09/understand-abi) 和 [EVM](https://learnblockchain.cn/2019/10/05/evm-data) 字节码
ABI  EVM 
  • 影无双
  • 发布于 2022-04-12
  • 阅读 ( 9195 )
  • ( 134 )