【2023新书】程序证明，Program Proofs - 代码天地

【2023新书】程序证明，Program Proofs

业界资讯 2023-04-07 22:13:00 阅读次数: 0

NoSuchKey

猜你喜欢

转载自blog.csdn.net/tMb8Z9Vdm66wH68VX1/article/details/129980103

【2023新书】程序证明，Program Proofs

零知识证明Zero-Knowledge Proofs

零知识证明Zero-Knowledge Proofs

（英文）零知识证明 Zero-Knowledge Proofs

离散结构：基础：逻辑和证明（Discrete Structures ：The Foundations: Logic and Proofs）(3)

离散结构：基础：逻辑和证明（Discrete Structures ：The Foundations: Logic and Proofs）(1)

离散结构：基础：逻辑和证明（Discrete Structures ：The Foundations: Logic and Proofs）(2)

AHPs——algebraic holographic proofs

Signatures and Zero-Knowledge Proofs

Darlin: Recursive proofs using Marlin

Logic and Proofs--离散数学

Vector Commitments with Efficient Proofs学习笔记

Proofs for Inner Pairing Products and Applications代码解析

Proofs for Inner Pairing Products and Applications 学习笔记

Delegating Computation: Interactive Proofs for Muggles 学习笔记

ZPiE: Zero-knowledge Proofs in Embedded systems

STARKs and STARK VM: Proofs of Computational Integrity

zkTree: a zk recursion tree with ZKP membership proofs

Pointproofs: Aggregating Proofs for Multiple Vector Commitments 学习笔记

Bulletproofs: Short Proofs for Confidential Transactions and More学习笔记

Pointproofs: Aggregating Proofs for Multiple Vector Commitments 学习笔记2

Practical Verified Computation with Streaming Interactive Proofs 学习笔记

Fast Reed-Solomon Interactive Oracle Proofs of Proximity学习笔记

ZKP+图片授权——PhotoProof：proofs of permissible photo edits

Discrete Mathematics and Its Applications | 1 CHAPTER The Foundations: Logic and Proofs | 1.1 Propositional Logic

Discrete Mathematics and Its Applications | 1 CHAPTER The Foundations: Logic and Proofs | 1.3 Propositional Equivalences

Discrete Mathematics and Its Applications | 1 CHAPTER The Foundations: Logic and Proofs | 1.4 Predicates and Quantifiers

Concise Mercurial Vector Commitments and Independent Zero-Knowledge Sets with Short Proofs 学习笔记

Linear-time zero-knowledge proofs for arithmetic circuit satisfiability 学习笔记

One-out-of-Many Proofs: Or How to Leak a Secret and Spend a Coin 学习笔记

今日推荐

周排行

TryParse的使用方法小结

Android之高仿手机QQ聊天

关于在java中关键字private能否用来修饰类的问题

去雾算法总结

前端面试题：事件防抖，函数节流，事件防抖和函数节流的区别

随堂小测

【OpenCV + Python】归一化函数cv2.normalize()的原理讲解

05: redis 主从复制

python3-基础5

持续更新-使用 Maven Module 搭建spring boot项目（整合Spring Security、Spring Social、spring OAuth）第一篇

每日归档

更多

2025-03-18(0)

2025-03-17(0)

2025-03-16(0)

2025-03-15(0)

2025-03-14(0)

2025-03-13(0)

2025-03-12(0)

2025-03-11(0)

2025-03-10(0)

2025-03-09(0)