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

私有委托计算已至，且必有漏洞！- ZKSECURITY

本文介绍了零知识密码学这一新兴领域，阐述了其与可信计算和机密计算的关系，并探讨了零知识证明（ZKP）在私有委托计算中的应用，以及ZKP技术可能带来的安全挑战。最后，文章宣布成立专注于零知识证明技术的安全咨询公司zksecurity.xyz。
零知识证明  可信计算  机密计算  私有委托计算  zksecurity  密码学 

ZK友好的哈希函数

本文探讨了ZK-friendly哈希函数的设计原则和性能，详细介绍了几种AOC（算术化导向密码）。文章分析了MiMC、Poseidon、Vision和Rescue等多个哈希函数在SNARK和STARK协议中的效率，强调了在不同上下文中选择合适哈希函数的重要性，同时也提及了新提出的高效哈希函数如Anemoi和Griffin。
哈希函数  零知识  SNARK  STARK  AOC  密码学 
  • zellic
  • 发布于 2023-05-31
  • 阅读 ( 2059 )

Aleo共识机制：Aleo的简洁工作量证明（Proof-of-Succinct-Work）探索

本文介绍了Aleo区块链平台的Proof of Succinct Work (PoSW)共识机制，该机制利用zk-SNARKs零知识证明技术，在保证网络安全的同时，实现了交易隐私保护。PoSW通过要求矿工构建和验证zk-SNARKs，将隐私增强特性融入到网络核心操作中，提高了网络的效率和可扩展性。同时分析了PoSW的优势、挑战以及未来的发展方向。
zk-SNARKs  零知识证明  共识机制  隐私保护  区块链  PoSW 

基于Noir和Nextjs的ZK加法dApp

本文详细介绍了如何使用Noir和Next.js构建一个基础的零知识（zk）DApp，展示了如何验证两个数字的和，而不透露实际数字。文章提供了清晰的步骤指导，包括代码片段、依赖安装、合约部署和前端验证，适合希望学习zk-DApp开发的读者。
零知识证明  DApp  Noir  Next.js  智能合约  区块链 

密码学家族：Blum, Blum和Blum

本文介绍了密码学领域中Blum家族（Manuel Blum, Lenore Blum和Avrim Blum）的贡献。他们共同在伪随机数生成器（如Blum Blum Shub），公钥加密系统（Blum-Goldwasser）和CAPTCHA等领域做出了重要贡献，并对后来的密码学和人工智能研究产生了深远影响。
Manuel Blum  Lenore Blum  Avrim Blum  Blum整数  Blum-Blum-Shub  CAPTCHA 

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

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

关于Plonk，你想知道的一切

本文深入探讨了PLONK（Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge）的工作原理和协议基础，PLONK 是一种常用的零知识简洁非交互式知识论证（ZK-SNARK）。
PLONK  零知识证明  多项式承诺  算术化  置换  密码学 

零知识证明硬件加速：过去、现在与未来

本文探讨了零知识证明（ZKP）的硬件加速方案，对比了使用FPGA、GPU和ASIC的优劣。虽然FPGA在单位功耗性能上与GPU相当，但在性价比上不如GPU。ASIC在性能和功耗方面都优于FPGA和GPU，但开发周期较长、成本高昂，并需要考虑可编程性的问题。文章还提出了使用指令集架构（ISA）来解决ASIC可编程性问题的方案，并展望了未来ZKP硬件加速的发展趋势，认为ASIC最终可能会成为主导。
零知识证明  硬件加速  FPGA  GPU  ASIC  多标量乘法 
  • Cysic_
  • 发布于 2023-04-28
  • 阅读 ( 1487 )

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

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

zkSNARKS，Circom（第二部分）

本文深入探讨了zkSNARKs和Circom的应用，重点讨论了不同哈希函数（如MiMC、Pedersen、Poseidon）在零知识证明中的使用及其优缺点。
zkSNARKs  circom  MIMC  Pedersen hash  Poseidon  零知识证明 

zkSNARKS，Circom（第一部分）

本文深入探讨了 zkSNARKs 技术的基本概念、原理及在 Circom 中的实现，逐步引导读者从最基础的电路构建入门到实际应用，包括加密验算的证明过程。作者通过示例代码和详细步骤，帮助开发者理解如何有效地使用这个技术。文章结构清晰，内容丰富，适合希望深入学习 zkSNARKs 的读者。
zkSNARKs  circom  证明系统  电路设计  加密技术  区块链 

如何自讨苦吃：暴力破解NTRU

本文深入探讨了NTRU密码系统，解释了其公钥和私钥的结构，并展示了如何将NTRU密钥搜索问题转化为在特定格中寻找短向量的问题。文章还讨论了使用暴力破解方法寻找短向量的复杂性，表明对于足够大的维度，这种方法是不可行的。
NTRU  格密码  短向量  公钥密码  密码分析  后量子密码学 

ZK-SNARKs中的算术化

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

我想摆脱基于格的密码学，但即使是量子计算机也帮不了我

本文介绍了公钥加密和格密码学的基本概念。公钥加密使用公钥和私钥加密信息，而格密码学利用多维空间中的点阵结构来构建加密方案，以抵抗量子计算机的攻击。文章还提到了NTRU加密方案，并解释了其加密和解密的过程。
公钥加密  格密码学  量子计算机  NTRU  最短向量问题  लर्निंग विथ एरर 

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

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

利用零知识证明、全同态加密和新的分布式系统算法改造未来

文章讨论了零知识证明（ZKPs）等密码学技术在应对日益复杂的社会挑战中的作用，强调了其在区块链、人工智能、硬件安全、国家安全以及数据隐私保护等多个领域的潜在应用。文章指出，随着AI普及和中心化信任的减弱，ZKPs和同态加密等技术将变得至关重要，并表示将致力于支持相关技术的初创企业。
零知识证明  区块链  密码学  同态加密  AI  数据隐私 

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

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

Tornado Cash是如何工作的？

Tornado Cash是一种在以太坊网络上的去中心化币混合器，旨在提供强大的匿名性。本篇文章深入探讨了其背后的数学原理，包括哈希函数、Merkle树、承诺方案以及零知识证明等加密技术。此外，还重点分析了其使用的zk-SNARKs零知识证明系统，并审视了潜在的安全隐患，特别是与用户操作和代码依赖相关的问题。
Tornado Cash  零知识证明  zk-SNARK  Merkle树  哈希函数  加密技术 
  • zellic
  • 发布于 2023-04-07
  • 阅读 ( 1497 )

UltraGroth：一种改进的Groth16零知识证明系统

本文档详细阐述了一种改进的Groth16零知识证明系统，称为UltraGroth，旨在向Groth16添加查找（lookups）和任何其他挑战参数。UltraGroth通过将R1CS电路的私有索引集划分为回合，并利用Fiat-Shamir启发式来模拟验证者的挑战响应，最终构建一个满足特定验证方程的zk证明，并探讨了其零知识性和在代数群模型（AGM）下的可靠性（Soundness）。
Groth16  零知识证明  R1CS  Fiat-Shamir  代数群模型  UltraGroth 

零知识证明类型解析

本文介绍了零知识证明（ZKP）的两种主要类型：zkSNARKs 和 zkSTARKs。zkSNARKs 依赖于可信设置，验证速度快，但安全性依赖于设置的安全性。zkSTARKs 不需要可信设置，具有更高的透明性和可扩展性，但计算开销可能更大。它们都是在不泄露信息的前提下，验证信息有效性的强大工具。
零知识证明  zkSNARKs  zkSTARKs  密码学  可信设置  隐私 
  • gelato
  • 发布于 2023-03-31
  • 阅读 ( 828 )