会员服务
When Proofs Meet Hardware: Comparing NTT and SumCheck in Zero-Knowledge Systems
Arxiv
0+阅读 · 6月15日
PriME-Deal: Privacy-Preserving Bilateral Data Trading with Efficient Matchmaking and Auditable Fair Exchange on Blockchain
Arxiv
0+阅读 · 6月10日
Proof of Source of Funds: Efficient On-chain Provenance of Cryptoassets
Arxiv
0+阅读 · 6月8日
Automating Bitvector and Finite Field Equivalence Proofs in Lean
Arxiv
0+阅读 · 5月14日
Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
Arxiv
0+阅读 · 5月15日
LPOR: A Layered Proof of Reserves Framework for Usable and Publicly Auditable Solvency Verification
Arxiv
0+阅读 · 6月6日
Privacy-Preserving Proof of Human Authorship via Zero-Knowledge Process Attestation
Arxiv
0+阅读 · 5月23日
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日
List Decoding of Reed-Solomon Codes and Folded Reed-Solomon Codes Over Galois Ring
Arxiv
0+阅读 · 5月13日
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日
参考链接
微信扫码咨询专知VIP会员
Top