会员服务
When Proofs Meet Hardware: Comparing NTT and SumCheck in Zero-Knowledge Systems
Arxiv
0+阅读 · 6月15日
Automating Bitvector and Finite Field Equivalence Proofs in Lean
Arxiv
0+阅读 · 5月14日
A Survey on the Applications of Zero-Knowledge Proofs
Arxiv
0+阅读 · 4月10日
Security of the Fischlin Transform in Quantum Random Oracle Model
Arxiv
0+阅读 · 6月8日
Device-Native Autonomous Agents for Privacy-Preserving Negotiations
Arxiv
0+阅读 · 4月22日
Enabling AI ASICs for Zero Knowledge Proof
Arxiv
0+阅读 · 4月20日
An Effective Orchestral Approach to Satisfiability Modulo Prime Fields
Arxiv
0+阅读 · 4月29日
zk-X509: Privacy-Preserving On-Chain Identity from Legacy PKI via Zero-Knowledge Proofs
Arxiv
0+阅读 · 3月31日
zk-X509: Privacy-Preserving On-Chain Identity from Legacy PKI via Zero-Knowledge Proofs
Arxiv
0+阅读 · 3月26日
ACE Runtime - A ZKP-Native Blockchain Runtime with Sub-Second Cryptographic Finality
Arxiv
0+阅读 · 3月10日
NP-Completeness and Physical Zero-Knowledge Proof of Hotaru Beam
Arxiv
0+阅读 · 3月2日
V3DB: Audit-on-Demand Zero-Knowledge Proofs for Verifiable Vector Search over Committed Snapshots
Arxiv
0+阅读 · 3月3日
V3DB: Audit-on-Demand Zero-Knowledge Proofs for Verifiable Vector Search over Committed Snapshots
Arxiv
0+阅读 · 3月5日
Zero-Knowledge Proof (ZKP) Authentication for Offline CBDC Payment System Using IoT Devices
Arxiv
0+阅读 · 3月5日
Zero-Knowledge Proof (ZKP) Authentication for Offline CBDC Payment System Using IoT Devices
Arxiv
0+阅读 · 3月4日
参考链接
微信扫码咨询专知VIP会员
Top