【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）(1)

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

离散结构：基础：逻辑和证明（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 学习笔记

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

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

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.3 Propositional Equivalences

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.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 学习笔记

今日推荐

周排行

Sping整合ActiveMQ（五.常见错误分析）

jquery ajax发送请求实例模板

北风设计模式课程---24、迭代模式

[Luogu] 兽径管理

1030 Travel Plan （30 分）(dijkstra算法+dfs+边权)

springboot-shiro中的问题

数据访问安全代理 CASB

RocketMQ与Kafka对比

Rider 2019.3.3 发布，跨平台 .NET IDE

Ubuntu切换root su -

每日归档

更多

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)

2025-03-08(0)