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

【zkMIPS系列】Poseidon hash设计流程 & 代码

in  zkMIPS解读
Poseidon哈希函数原理
  • ZKM
  • 发布于 2024-11-05
  • 阅读 ( 2283 )
  • ( 18 )

3-Slot 最终性：SSF 并非关于“Single” Slot 的共识

本文介绍了一种名为3-Slot Finality (3SF) 的协议，旨在在网络延迟有界的情况下，使诚实提议者提出的区块在3个 slot 内完成最终确认。
Single-Slot Finality  3-Slot Finality  以太坊  共识协议  区块确认  RLMD-GHOST 

EOF（EVM对象格式）带来零知识证明的优势

本文介绍了EVM Object Format (EOF)升级，它是以太坊虚拟机（EVM）的一个重要更新，旨在提升智能合约的效率和ZK友好的特性。EOF通过静态跳转替代动态跳转，简化了控制流，并引入了SWAPN和DUPN等新指令，从而降低了gas成本，提高了ZK证明的效率。实验结果表明，EOF合约在周期数和运行速度方面都有显著提升，同时减小了STARK证明的大小。
EVM  EOF  ZK证明  Gas成本  Solidity  SP1 

以太坊协议可能的未来 #1：The Merge

以太坊协议可能的未来 #1：The Merge
以太坊升级  SSF 

揭秘Scam-as-a-Service：警惕钓鱼攻击的产业化

in  CertiK 安全知识分享
本文将分析Inferno Drainer、Nova Drainer等网络钓鱼攻击团伙的典型作案手法，并详细列举其行为特征。希望通过这些分析，能够帮助用户提高对网络钓鱼诈骗的识别和防范能力。
钓鱼攻击  网络安全 
  • CertiK
  • 发布于 2024-11-05
  • 阅读 ( 3238 )
  • ( 45 )

通用的ZK证明生成层 Fermah

在推特上看到了一篇对Fermah联合创始人兼CEOVanishreeRao的采访，其中有两个问题值得关注：（1）零知识证明在区块链中的发展经历了三个重要阶段；（2）ZK领域当前最紧迫的两个挑战。
ZKP  Fermah 

Permit 授权的秘密：便利背后的风险与保护措施

本文简要探讨了Permit功能的双重性质：它在降低高gas费的情况下满足用户需求的同时，也为钓鱼攻击提供了可能。文章将分析Permit2签名钓鱼攻击的发生方式，揭示攻击者如何通过伪造签名获利，并介绍了识别Permit签名的方法和技巧，帮助用户规避潜在风险。
Permit2  permit  ERC20  安全 

Rust泛型特征、集合类型

in  Rust语言开发基础到通关
目录泛型与特征泛型Generics特征Trait特征对象进一步深入特征集合类型动态数组VectorKV存储HashMap泛型与特征泛型(Generics)基础概念定义：泛型允许我们编写可以处理多种类型的代码。语法：使用尖括号<>来指定类型参数。fn
Rust  Rust语法基础 

使用全同态加密的机密ERC20框架

Inco Network和Circle Research发布共同撰写的机密ERC20白皮书。机密ERC20框架将标准ERC-20代币转换为机密包装版本，以掩盖余额和交易金额，为用户提供额外的隐私保护，同时保持合规控制。
全同态加密  TFHE  ERC20 

弹跳攻击

弹跳攻击 -- 过于古老因此仅供知晓

BLS签名、BLS12-381椭圆曲线以及基于配对签名方案的剖析

本文详细介绍了基于配对的数字签名方案BLS签名，重点讨论了BLS12-381椭圆曲线及其在签名聚合、多项式承诺和零知识证明等高级密码学协议中的应用。文章涵盖了配对的基本概念、BLS12-381椭圆曲线的数学结构、BLS签名的生成与验证过程，以及其安全性和潜在的MOV攻击。
BLS签名  BLS12-381椭圆曲线  配对  签名聚合  MOV攻击 

全面比较：什么是 zk-SNARKs 和 zk-STARKs？

全面比较：什么是 zk-SNARKs 和 zk-STARKs？
ZKP 
  • Cyfrin
  • 发布于 2024-11-04
  • 阅读 ( 3682 )
  • ( 29 )

如何在同样的地址上部署不同的合约

如何在同样的地址上部署不同的合约
CREATE2  create3 
  • cig01
  • 发布于 2024-11-04
  • 阅读 ( 2106 )
  • ( 9 )

引介 Wrapped Native：Wrapped Ether 的现代替代品

Wrapped Native 一个更好的原生代币 Wrap 方案
WETH 

内积代数

in  零知识证明之书
文章介绍了在推导范围证明和编码电路时，内积运算的一些有用代数技巧，并提供了每个规则的简单证明。
内积  Hadamard积  范围证明  代数技巧  向量  标量 

每周以太坊 2024/11/02

每周以太坊 2024/11/02
每周以太坊 
  • EthWeekly
  • 发布于 2024-11-04
  • 阅读 ( 1850 )
  • ( 9 )

Java 程序员入门 Web3：从零开始的实战问答指南

对于Java程序员来说，Web3可能是一个全新的领域。以下是从零开始的实战问答指南，旨在帮助Java程序员逐步了解并转型到Web3开发。Q:我是一名Java程序员，对Web3一无所知，应该从哪里开始？首先，你需要建立对Web3的基本理解：阅读关于区块链和加密货
web3入门  Java转型 
  • King
  • 发布于 2024-11-04
  • 阅读 ( 4749 )
  • ( 71 )

GossipSub主题观察（提议的GossipSub 1.3）- 网络

该提案提出了一种名为“主题观察”的机制，允许节点在不实际接收消息内容的情况下，仅通过接收通知来了解特定主题中是否有新消息，从而减少GossipSub协议中因消息重复转发导致的网络带宽浪费。节点可以通过OBSERVE和UNOBSERVE消息来订阅或取消订阅主题的通知，订阅节点的对观察节点发送IHAVE消息作为通知。
gossipsub  主题观察  带宽优化  网络协议  消息通知 

Poseidon - 简洁优雅的区块链交互工具库

本工具库对常用的链上交互操作进行了模块化抽象与简洁式封装，让开发者能够轻松快速地与主流区块链网络进行交互。目前支持任意 EVM 链。
开发工具  EVM  Python 

什么是抢跑交易 - 它是如何运作？

本文深入探讨了区块链和加密货币中的抢跑（front-running）现象及其工作原理，介绍了最大可提取价值（MEV）和区块链内存池（mempool）的概念，并探讨了如何防止前运行攻击的策略。同时，文中还通过示例和代码分析了MEV的实际应用和潜在风险。
最大可提取价值  区块链内存池  防止前运行  智能合约  MEV  抢跑 
  • Cyfrin
  • 发布于 2024-11-03
  • 阅读 ( 1125 )