密码学文章 - 第30页

Succinct ZK驻留计划

Succinct 举办为期一个月的 ZK Residency 计划，旨在汇集将 ZK 集成到现有产品中或开发全新 ZK 应用的团队，提供合作、交流和学习的平台。该计划包括技术升级和实际应用两个方向，并提供世界一流的顾问和指导，以及每周的研讨会和问答环节。

zk 零知识证明 SP1 证明聚合 ZKML Rollup 互操作性

Succinct
发布于 2024-08-21
阅读 ( 598 )

Circle Stark: from a new Starker

circle stark: perspective from a new stark

STARK FFT circle group

白菜
发布于 2024-08-16
阅读 ( 2229 )
( 23 )

安全多方计算（SMPC 或 MPC）是什么

安全多方计算（SMPC/MPC）是一种密码学方法，允许多方在不泄露各自私有数据的情况下，共同计算一个函数并获得公开结果。文章介绍了SMPC的基本概念、工作原理、历史、优势，以及在Web3领域中的应用，例如MPC钱包、隐私保护计算等。

安全多方计算 MPC 密码学零知识证明同态加密 Web3钱包

Chainlink
发布于 2024-08-15
阅读 ( 1241 )

通过 12 节课理解 STARK 构建过程

这篇文章深入探讨了RISC Zero zk-STARK的构建过程，分为12个课程，详尽地解释了执行跟踪、规则检查、数据填充、构造多项式和约束多项式等关键技术环节，结合了零知识证明的应用以及使用Reed-Solomon编码和FRI协议来验证多项式的低度特性

zk-STARK RISC Zero 零知识证明 FRI协议 Reed-Solomon编码执行跟踪

RISC ZERO
发布于 2024-08-14
阅读 ( 1402 )

可编程密码学 - 第一篇

“可编程密码学”一词来指代今天变得实用的第二代密码学原语。这些原语的定义特征是它们比第一代密码学灵活得多：它们允许我们在密码协议内部或之上执行通用计算。

可编程密码学 FHE MPC zkSNARK

0xPARC
发布于 2024-08-12
阅读 ( 3243 )
( 66 )

几分钟搞懂全同态加密FHE：运行模式与应用场景

FHE

仙壤
发布于 2024-08-12
阅读 ( 4410 )
( 12 )

2024-08-11 zk-insights Weekly

如果你重视零知识证明技术信息的实效性和信息源质量的意义，不想娱乐至死、短视投机、无关广告、推荐算法、劣币驱逐良币的泥沙裹挟迷失，请多支持我们（包括给予赞助支持），让这一汨清流继续流淌～

ZKP

Coset
发布于 2024-08-12
阅读 ( 2238 )
( 33 )

ZK技术的历史发展脉络梳理

零知识证明 zkSNARK

仙壤
发布于 2024-08-09
阅读 ( 3314 )
( 7 )

Noname 2.0：解锁数字泛型、Folding Scheme以及Playground - ZKSECURITY

本文介绍了noname 2.0预览版的主要更新，包括支持泛型数组、通过Sonobe集成支持folding scheme、交互式在线 Playground、R1CS优化以及社区贡献的bug修复和功能改进。这些更新旨在提高noname语言的灵活性、效率和用户友好性，使开发者能够编写更复杂的ZK电路，并简化IVC应用的开发。

noname ZK电路泛型数组 folding scheme Sonobe R1CS IVC 零知识证明

zksecurity
发布于 2024-08-09
阅读 ( 783 )

【视频】Tornado Cash 代码实践系列

这个系列的视频将从零到一实现 Tornado Cash 的功能，包括零知识证明电路，智能合约以及证明验证。希望你能从中学习到 Tornado Cash 的所用到的技术，并知道如何构建一个零知识证明应用。

零知识证明 Tornado.cash zkSNARK zksnak Solidity circom

pichabote
发布于 2024-08-09
阅读 ( 2661 )
( 59 )

使用 zkTLS 证明新世界

本文深入探讨了加密生态系统与现实世界之间的隔离现象，提出了数据可移植性的重要性，并介绍了一种新协议zkTLS，该协议旨在通过创建Web2与Web3之间的安全数据通道，推动用户数据在不同平台之间的共享与使用。文中还提到了一些相关项目与未来的挑战。

zkTLS 数据可移植性 Web3 加密生态系统零知识证明协议

yasu.block
发布于 2024-08-08
阅读 ( 1298 )

SP1 基准测试：2024年8月6日

零知识证明 zkVM GPU prover SP1 性能优化预编译

Succinct
发布于 2024-08-07
阅读 ( 700 )

zk-SNARK 系列 - #2 证明多项式的知识

为什么和如何使用 zk-SNARK系列文章

zkSNARK

Maksym
发布于 2024-08-07
阅读 ( 2654 )
( 15 )

探秘 Circle STARKs （重排版）

探秘 Circle STARKs

Circle STARK

XPTY
发布于 2024-08-06
阅读 ( 2313 )
( 4 )

2024-08-04 zk-insights Weekly

如果你重视零知识证明技术信息的实效性和信息源质量的意义，不想娱乐至死、短视投机、无关广告、推荐算法、劣币驱逐良币的泥沙裹挟迷失，请多支持我们（包括给予赞助支持），让这一汨清流继续流淌～

zk

Coset
发布于 2024-08-06
阅读 ( 2555 )
( 23 )

Constantine 性能表现

本文主要介绍了Constantine在区块链和零知识证明等领域的性能优势，以及如何通过基准测试来衡量其性能。文章详细对比了不同编译器（如GCC和Clang）在优化大整数和密码学代码方面的差异，并强调了使用内联汇编以确保性能和避免分支的重要性，Constantine通过优化代码大小和栈使用量，以及避免堆分配，适用于资源受限的设备。

椭圆曲线密码学性能优化区块链零知识证明基准测试编译器优化内联汇编

mratsim
发布于 2024-08-01
阅读 ( 1026 )

零知识区块链项目概览

本文深入探讨了零知识证明（ZKP）技术在区块链项目中的应用，以及如何利用ZKP来提升可扩展性、保护用户隐私以及赋能更高级的DApp。文章还对比了ZKP与乐观rollup等其他Layer2解决方案，并介绍了基于ZKP的不同架构（zk-Rollups、Validium、Volitions），同时列举了多个实际的ZKP项目案例。

零知识证明 zk-SNARKs ZK-STARKs Layer2 Rollup Validium

Chainlink
发布于 2024-07-30
阅读 ( 915 )

零知识证明（ZKP）——详解

本文介绍了零知识证明（ZKP）的概念、工作原理、类型（zk-SNARKs、zk-STARKs、PLONK、Bulletproofs），以及 ZKP 在区块链中的各种应用，包括隐私交易、可验证计算、Layer 2 扩展、去中心化身份验证等。同时还介绍了 Chainlink 的 DECO 技术，它是一种基于 ZKP 的预言机解决方案，可在保护隐私的前提下验证数据来源。

零知识证明 zk-SNARKs ZK-STARKs DECO 隐私保护区块链

Chainlink
发布于 2024-07-30
阅读 ( 2261 )

解读Cysic：硬件加速与ZK矿业的崛起前夜

硬件加速领域中，Cysic可能是最受关注的劲旅之一

Cysic zkSNARK 零知识证明

仙壤
发布于 2024-07-26
阅读 ( 3704 )
( 10 )

面向大众的配对，第二部分：Tate配对

本文是关于椭圆曲线配对（Tate pairing）的第二部分，旨在帮助读者建立对Tate pairing的基本直觉，而无需深入研究高级数学。

椭圆曲线配对 Tate pairing Miller’s loop Final Exponentiation TinyJubJub 密码学

brozorec
发布于 2024-07-26
阅读 ( 148 )