Eeg332
发表于 2025-3-28 15:56:17
http://reply.papertrans.cn/15/1476/147510/147510_41.png
道学气
发表于 2025-3-28 19:12:26
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/a/image/147510.jpg
随意
发表于 2025-3-29 02:22:18
http://reply.papertrans.cn/15/1476/147510/147510_43.png
Anthology
发表于 2025-3-29 06:51:48
http://reply.papertrans.cn/15/1476/147510/147510_44.png
杂色
发表于 2025-3-29 08:04:43
Advances in Cryptology – ASIACRYPT 2023978-981-99-8724-5Series ISSN 0302-9743 Series E-ISSN 1611-3349
果核
发表于 2025-3-29 13:39:46
http://reply.papertrans.cn/15/1476/147510/147510_46.png
津贴
发表于 2025-3-29 18:14:39
Carbon Labeling and Its Related Issues,ght by constructing a non-adaptively sound zk-SNARG FANA for . from falsifiable assumptions. We show that FANA is flawed. We define and construct a fully algebraic .-position-binding vector commitment scheme .. We construct a concretely efficient commit-and-prove zk-SNARK Punic, a version of FANA wi
amyloid
发表于 2025-3-29 22:01:04
Xiaoxia Yang,Quanmin Dong,Chunping Zhangide a generic, efficient accumulation (or folding) scheme for any .-move special-sound protocol with a verifier that checks . degree-. equations. The accumulation verifier only performs . elliptic curve multiplications and . field/hash operations. Using the compiler from BCLMS21 (Crypto 21), this en
forager
发表于 2025-3-30 03:38:00
http://reply.papertrans.cn/15/1476/147510/147510_49.png
Abbreviate
发表于 2025-3-30 07:03:22
A. Allan Degen,Shaher El-Meccawi,Michael Kamng progress in realizing useful relaxations such as weak zero-knowledge, strong witness indistinguishability and witness hiding in two or three rounds. In particular, known realizations from generic assumptions obtain: (1) security against . verifiers assuming fully homomorphic encryption among othe