Tags
零知识证明 zk-SNARK 摆烂 日常 Zerocash zk-SNARKs ZK-STARK Lookup Argument HyperPlonk Folding Scheme 研狗日常 ZKProof Workshop 交互式证明 计算困难性 密码学 多项式承诺 PLONK算法 密码学会议 Nova 无线网安全 移动安全 零知识协议 安全计算 杂谈 计算理论 比特承诺 签名方案 面经 双线性配对 门限签名 TinyRAM Rollup Libra Recursive Argument 布隆过滤器 文件系统 Ext4 美亚杯 赛后复盘 JAVA安全 Log4j2 年终总结 CTF 模拟 对称密码攻击 密码协议 认证协议 非交互式ZK Fiat-Shamir变换 同态隐藏2023 48 篇 -
- 10-16Nova开发库
- 09-01此内容被密码保护
- 07-25Testudo
- 07-16XHash8 and XHash12:Efficient STARK-friendly Hash Functions
- 06-20Halo:Recursive Proof Composition without a Trusted Setup
- 06-17此内容被密码保护
- 06-16Crypto 2023:Zero Knowledge Proof
- 06-14Sangria: A Folding Scheme for PLONK
- 06-09HyperNova:Recursive arguments for customizable constraint systems
- 06-02Brakedown:Linear-time and post-quantum SNARKs for R1CS
- 05-31《数字签名密史》引发的深思
- 05-31Hardware Acceleration of ZKP
- 05-30Secure ZK Circuits with Formal Methods
- 05-29ZKP Applications Overview & zkBridge
- 05-28Polynomial Commitments based on Error-Correcting Codes
- 05-26The Experts' Insights on the Peer Review Process
- 05-22NIZK from Non-Interactive Batch Arguments
- 05-19Benchmarking ZK-Circuits in Circom
- 05-17Formalizing Soundness Proofs of SNARKs
- 05-09Vector Commitments and their Applications
- 04-26Nova：Part II
- 04-25Nova：Overview
- 04-21Flashproof
- 04-20Libra：Part II
- 04-19Libra：Part I
- 04-18HyperPlonk：Part V
- 04-17HyperPlonk：Part IV
- 04-16HyperPlonk：Part III
- 04-15HyperPlonk：Part II
- 04-13HyperPlonk：Part I
- 04-12POSEIDON:A New Hash Function for Zero-Knowledge Proof Systems
- 04-11Crypto 2022:Zero Knowledge Proof
- 04-06Eurocrypt 2023:Zero Knowledge Proof
- 04-03Laconic:Private Set-Intersection From Pairings
- 03-26Ascon：轻量级IoT设备加密算法
- 03-18cq：基于缓存商的Lookup协议
- 03-16SNARK Design：Part II
- 03-15SNARK Design：Part I
- 03-13Spartan：满足透明性的通用高效zkSNARK方案
- 03-11多项式扩展与和校验协议
- 03-08TinyRAM程序的ZK Proof System：Part 2
- 03-05TinyRAM程序的ZK Proof System：Part 1
- 03-01FFlonk算法
- 02-26MSM算法
- 02-24snarkjs初探
- 02-22Flookup算法：更优Prover Time的Lookup Argument
- 02-19Count Me In：可扩展的门限环签名方案
- 02-17AntMan：亚线性通信量的交互式零知识证明方案
2022 75 篇 +
- 12-09Caulk+: Table-independent lookup arguments
- 12-08Caulk: Lookup Arguments in Sublinear Time
- 12-06Plookup:A simplified polynomial protocol for lookup tables
- 11-28The Roaring Twenties: Recent Advances in Zero-Knowledge Proofs
- 11-235th ZKP Workshop Day2 Morning
- 11-235th ZKP Workshop Day1 Afternoon
- 11-195th ZKP Workshop Day1 Morning
- 11-195th ZKProof Workshop
- 11-12ZKP Part 3：Protocol
- 11-11ZKP Part 2：Paradigms
- 11-10ZKP Part 1：Background and Preliminary
- 09-29Threshold Signatures with Private Accountability
- 09-02PLONK（3）：验证等式
- 09-02PLONK（2）：协议核心
- 09-01PLONK（1）预备知识
- 08-18暑假随笔（一）
- 08-09KZG多项式承诺
- 08-09Sonic协议
- 08-06通用可更新CRS及其在zk-snark中的应用
- 08-03On Sigma Protocol
- 07-31RSA门限签名方案
- 07-29BLS签名方案
- 07-27精读Groth16算法
- 07-21Groth10论文精读
- 07-21环签名方案
- 07-18Bulletproof论文精读
- 07-18Fast Fourier Transforms
- 07-18FRI协议
- 07-16快乐的暑假生活
- 07-15Hardness Assumption
- 07-05很普通的日常
- 06-21Good Luck for Snowolf
- 06-12一点拙见
- 06-12此内容被密码保护
- 06-12白天研究生
- 06-04喜欢如此记录生活
- 05-29ZK-STARK（4）：构建ZK-STARK
- 05-28ZK-STARK（3）：低度测试
- 05-27ZK-STARK（2）：算术化
- 05-26ZK-STARK（1）：概述
- 05-22心情向好
- 05-12Zerocash白皮书（五）：Zerocash
- 05-11Zerocash白皮书（四）：构造DAP方案
- 05-10Zerocash白皮书（三）：分布式匿名支付方案
- 05-09Zerocash白皮书（二）：zk-SNARKs
- 05-08校园恋爱真好
- 05-08Zerocash白皮书（一）：加密货币背景
- 05-08双线性配对
- 05-08此内容被密码保护
- 05-02生活慢一点
- 05-01零知识证明（20）：椭圆曲线对
- 04-30零知识证明（19）：匹诺曹协议
- 04-29零知识证明（18）：计算至多项式的转换
- 04-28零知识证明（17）：系数知识测试
- 04-27零知识证明（16）：多项式盲评估
- 04-26零知识证明（15）：同态隐藏
- 04-25零知识证明（14）：什么是zk-SNARKs
- 04-22零知识证明（13）：R1CS与QAP
- 04-21零知识证明（12）：Fiat-Shamir变换
- 04-09零知识证明（11）：非交互式零知识证明
- 04-02SKEY协议
- 04-01对称密码攻击之差分分析
- 04-01基于身份的零知识证明协议
- 01-18零知识证明（10）：比特承诺的应用
- 01-16研狗日常（12）：终于打上球了
- 01-16零知识证明（9）：比特承诺
- 01-16零知识证明（8）：零知识分类
- 01-12研狗日常（11）：网瘾与学习并进
- 01-12零知识协议（7）：模拟
- 01-12零知识证明（6）：不可区分性与单向函数
- 01-10研狗日常（10）：吃什么
- 01-09零知识证明（5）：一些概念
- 01-07研狗日常（9）：大作业沙我
- 01-072022-XD抗疫CTF-crypto部分
- 01-05研狗日常（8）：封宿舍的这些天
2021 20 篇 +
- 12-31此内容被密码保护
- 12-27研狗日常（7）：今天吃啥
- 12-26零知识证明（番外篇）：告诉你一个秘密
- 12-25零知识证明（4）：构建交互系统
- 12-24研狗日常（6）：超级排队
- 12-24零知识证明（3）：交互式证明系统
- 12-23零知识证明（2）：何为零知识
- 12-21研狗日常（5）：超级加班
- 12-21零知识证明（1）：序
- 12-20同态加密：Paillier算法
- 12-18研狗日常（4）：突如其来的疫情
- 12-10Log4j2
- 12-10研狗日常（3）：要期末了
- 12-07此内容被密码保护
- 12-07论文精读笔记：PHOENIX
- 12-05研狗日常（2）：确实很日常
- 12-05此内容被密码保护
- 12-04研狗日常（1）：混
- 12-04Ext4
- 12-03布隆过滤器