全部 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 入门/科普 密码学 存储 其他

Merkle树的逻辑和证明

什么是Merkle树定义MerkleTree，也叫默克尔树或哈希树，是区块链的底层加密技术，被比特币和以太坊区块链广泛采用。MerkleTree是一种自下而上构建的加密树，每个叶子是对应数据的哈希，而每个非叶子为它的2个子节点的哈希。如何生成Merkle树的数据在solidity中我
solidity 编程 

区块链中的数学 -- 蒙哥马利模乘

蒙哥马利模乘算法关键是依赖于一种称为蒙哥马里形式(Montgomery form)的数字的特殊表示。效率高主要是因为避免了昂贵的除法运算。蒙哥马利形式采用一个常数R>N（N是要模的数），该常数与N互素，蒙哥马利乘法中唯一需要的除法是除以R。可以选择常数R，实际上R总是选2的次方，因为2的次方的除法可

深入理解Nova IVC Scheme中的循环曲线和主从电路

由于增量验证计算(IVCscheme)中有很多细节在论文中并未展开，本文则是深入解读Nova如何基于Relaxed R1CS构造IVC scheme。
Nova 
  • Po
  • 发布于 2023-07-03
  • 阅读 ( 1877 )
  • ( 11 )

Arbitrum Orbit 开发工具 & zkSync 推出模块化开源框架 ZK Stack | Megascope

1）Arbitrum 推出 Arbitrum Orbit L3 开发工具  2）zkSync 推出模块化开源框架 ZK Stack 3）Maverick Protocol & Hyperliquid 项目介绍   4）Data Check : OP Bedrock 升级后的数据变化
ZK Rollup 

【三】NOVA系列之RecursiveSNARK

近期NOVA作为当前ZK领域热门的FoldingScheme解决方案，备受工业界追捧，该系列专题将逐一拆解它：Pederson and Poseidon ， R1CS and relaxed R1CS， NIFS， Circuit， RecursiveSNARK， CompressedSNARK。
Nova  zkSNARK  folding 
  • 白菜
  • 发布于 2023-06-21
  • 阅读 ( 2295 )
  • ( 14 )

zkEVM VS zkVM：一字之差，天壤之别！

本文将对比 zkEVM 和 zkVM 在技术上的差异，并介绍 RISC Zero zkVM 及其即将推出的 Bonsai 网络。
zkEVM  zkVM  虚拟机 
  • Maxlion
  • 发布于 2023-06-21
  • 阅读 ( 1868 )

【二】NOVA 系列之circuit

近期NOVA作为当前ZK领域热门的FoldingScheme解决方案，备受工业界追捧，该系列专题将逐一拆解它：PedersonandPoseidonR1CSNIFSCircuitRecursiveSNARKCompressedSNARK希望通过详尽且直白的逻辑能够把NOVA
Nova  zkSNARK  folding 
  • 白菜
  • 发布于 2023-06-16
  • 阅读 ( 2249 )
  • ( 17 )

如何创建一个 ZK 智能合约

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

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

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

【一】NOVA 系列之NIFS

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

零知识证明：应用和具体用例

零知识证明（Zero-KnowledgeProofs，ZKPs）是应用密码学中令人兴奋的突破，将在各个行业中解锁新的用例，
零知识证明 

零知识证明：应用和具体用例

零知识证明（Zero-KnowledgeProofs，ZKPs）是应用密码学中令人兴奋的突破，将在各个行业中解锁新的用例，从Web3到供应链再到物联网。通过在不揭示信息的情况下验证其真实性，ZKPs可以增强数字系统的隐私、安全性和效率。本文将探讨ZKPs的基础知识和正在出现的潜在用例。
  • Chainlink
  • 发布于 2023-05-12
  • 阅读 ( 4157 )
  • ( 35 )

安比实验室创始人郭宇：ZK 技术的学习心得和经验分享

ZKP和zkSNARK是密码学里一个非常重要的分支，在以太坊的发展过程中异常强大，是以太坊可扩展性未来的途径。
零知识证明 

ZK-SNARKs中的算术化

零知识证明（ZKP）正在因其在代理计算给不受信任的服务器，解决去中心化账本的可扩展性问题等方面的诸多应用而逐渐变得流行起来。
零知识证明 
  • XPTY
  • 发布于 2023-04-19
  • 阅读 ( 2440 )

科普: 零知识证明, SNARK与STARK 及使用场景

零知识证明使用场景分析，在 Rollup 之外，还可以应用在哪？
零知识证明  zkSNARK  zkSTARK 

科普: 零知识证明与zkRollup的基础知识

科普零知识证明，为什么需要零知识证明
零知识证明 

SuperNova

IVC 是一种强大的密码原语，它使我们能够以增量方式证明计算的完整性。 该策略非常适合虚拟机执行和具有动态控制流的通用程序.
密码学 
  • XPTY
  • 发布于 2023-03-27
  • 阅读 ( 2145 )

理解 zk-SNARKs 和 zk-STARKS 的区别

SNARKs和STARKs是零知识证明技术，允许一方在不透露任何进一步信息的情况下向另一方证明陈述是真实的。零知识证明(ZKP)引起了广泛关注，因其在增强安全性、保护用户隐私和支持第2层网络扩展方面都有很大的潜力。
  • Chainlink
  • 发布于 2023-03-16
  • 阅读 ( 1906 )
  • ( 9 )

Nova

该密码学原语，通过提供每一步的结果都是正确的并且所有先前步的结果都已在每步中正确执行过的证明，允许给定方来展示给定计算机程序执行的完整性。
密码学 
  • XPTY
  • 发布于 2023-03-15
  • 阅读 ( 2106 )

Sangria

在本文中，我们提出了对PLONK算术化 2 变体的折叠方案。扩展松弛PLONK 算术化，以接受2次自定义门和具有更高门扇入扇出数的电路。 最后，概述了未来工作的路径，包括折叠更高次的门、支持查找门和为松弛PLONK算术化设计 IOP。
PLONK  Nova 
  • XPTY
  • 发布于 2023-03-13
  • 阅读 ( 1790 )