Ligetron: Lightweight Scalable End-to-End Zero-Knowledge Proofs. Post-Quantum ZK-SNARKs on a Browser
M Venkitasubramaniam - 2024 IEEE Symposium on Security and …, 2023 - computer.org
Zero-Knowledge (ZK) proofs were introduced in the seminal work of Goldwasser, Micali, and
Rackoff (STOC 1985) and remain one of the cornerstones of modern cryptography. With the …
Rackoff (STOC 1985) and remain one of the cornerstones of modern cryptography. With the …
Do You Need a Zero Knowledge Proof?
Abstract Zero-Knowledge Proofs (ZKPs), a cryptographic tool known for decades, have
gained significant attention in recent years due to advancements that have made them …
gained significant attention in recent years due to advancements that have made them …
On a partially verifiable multi-party multi-argument zero-knowledge proof
H Ryu, D Kang, D Won - 2021 15th International Conference on …, 2021 - ieeexplore.ieee.org
The term “digital signature” refers to electronic information that is used to identify signatories
and indicate that they have signed a document; such information is either attached to or …
and indicate that they have signed a document; such information is either attached to or …
Ou: Automating the Parallelization of Zero-Knowledge Protocols
A zero-knowledge proof (ZKP) is a powerful cryptographic primitive used in many
decentralized or privacy-focused applications. However, the high overhead of ZKPs can …
decentralized or privacy-focused applications. However, the high overhead of ZKPs can …
Obtaining simulation extractable NIZKs in the updatable CRS model generically
L Wang, Y Li, H Kan - Theoretical Computer Science, 2024 - Elsevier
Non-interactive zero-knowledge proofs as well as succinct non-interactive argument of
knowledge (SNARK) are playing a central role in both theory and application of …
knowledge (SNARK) are playing a central role in both theory and application of …
A 2.1 KHz zero-knowledge processor with BubbleRAM
D Heath, V Kolesnikov - Proceedings of the 2020 ACM SIGSAC …, 2020 - dl.acm.org
Zero-Knowledge (ZK) proofs (ZKP) are foundational in cryptography. Most recent ZK
research focuses on non-interactive proofs (NIZK) of small statements, useful in blockchain …
research focuses on non-interactive proofs (NIZK) of small statements, useful in blockchain …
Assessing RISC Zero using ZKit: An Extensible Testing and Benchmarking Suite for ZKP Frameworks
R Bögli - 2024 - eprints.ost.ch
Zero-Knowledge Proofs (ZKPs) are cryptographic protocols designed to verify a statement
without disclosing any information beyond its boolean verification outcome. A prevalent use …
without disclosing any information beyond its boolean verification outcome. A prevalent use …
Shorter and faster post-quantum designated-verifier zkSNARKs from lattices
Zero-knowledge succinct arguments of knowledge (zkSNARKs) enable efficient privacy-
preserving proofs of membership for general NP languages. Our focus in this work is on post …
preserving proofs of membership for general NP languages. Our focus in this work is on post …
CIRCOM: A Robust and Scalable Language for Building Complex Zero-Knowledge Circuits
A zero-knowledge (ZK) proof guarantees that the result of a computation is correct while
keeping part of the computation details private. Some ZK proofs are tiny and can be verified …
keeping part of the computation details private. Some ZK proofs are tiny and can be verified …