Cover Image

Verifying the First Nonzero Term: Physical ZKPs for ABC End View, Goishi Hiroi, and Toichika

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Ruangwises, Suthee
Format:	Preprint
Published:	2023
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Tatami Printer: Physical ZKPs for Tatami Puzzles
by: Ruangwises, Suthee
Published: (2024)

Printing Protocol: Physical ZKPs for Decomposition Puzzles
by: Ruangwises, Suthee, et al.
Published: (2023)

Balance-Based Cryptography: Physically Computing Any Boolean Function
by: Ruangwises, Suthee
Published: (2025)

NP-Completeness and Physical Zero-Knowledge Proofs for Zeiger
by: Ruangwises, Suthee
Published: (2024)

The Landscape of Computing Symmetric $n$-Variable Functions with $2n$ Cards
by: Ruangwises, Suthee
Published: (2023)

A Complexity Hierarchy of Shuffles in Card-Based Protocols
by: Ono, Tomoki, et al.
Published: (2026)

Simulating Virtual Players for UNO without Computers
by: Ruangwises, Suthee, et al.
Published: (2025)

Cyclic Equalizability Characterized by Parikh Vectors
by: Thongjarast, Sarunyu, et al.
Published: (2026)

Card-Based Overwriting Protocol for Equality Function and Applications
by: Ruangwises, Suthee, et al.
Published: (2024)

ExpProof : Operationalizing Explanations for Confidential Models with ZKPs
by: Yadav, Chhavi, et al.
Published: (2025)

AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs
by: Yang, Qizhe, et al.
Published: (2024)

zkPHIRE: A Programmable Accelerator for ZKPs over HIgh-degRee, Expressive Gates
by: Daftardar, Alhad, et al.
Published: (2025)

Publicly Understandable Electronic Voting: A Non-Cryptographic, End-to-End Verifiable Scheme
by: Gat, Alon
Published: (2026)

Towards Credential-based Device Registration in DApps for DePINs with ZKPs
by: Heiss, Jonathan, et al.
Published: (2024)

A Post-Quantum Secure End-to-End Verifiable E-Voting Protocol Based on Multivariate Polynomials
by: Srivastava, Vikas, et al.
Published: (2025)

A Framework for Cryptographic Verifiability of End-to-End AI Pipelines
by: Balan, Kar, et al.
Published: (2025)

Time-Delayed Publicly Verifiable Quantum Computation for Classical Verifiers
by: Mohammed, Ameer, et al.
Published: (2026)

ABC-Channel: An Advanced Blockchain-based Covert Channel
by: Ma, Xiaobo, et al.
Published: (2024)

End-to-End Verifiable Decentralized Federated Learning
by: Lee, Chaehyeon, et al.
Published: (2024)

Verifiable Differential Privacy
by: Biswas, Ari, et al.
Published: (2022)

Verifiable Privacy-Preserving Computing
by: Bontekoe, Tariq, et al.
Published: (2023)

Verified Foundations for Differential Privacy
by: de Medeiros, Markus, et al.
Published: (2024)

Verifiable Weighted Secret Sharing
by: Shehata, Kareem, et al.
Published: (2025)

Smart Grid Security: A Verified Deep Reinforcement Learning Framework to Counter Cyber-Physical Attacks
by: Maiti, Suman, et al.
Published: (2024)

State of the Art Report: Verified Computation
by: Woodcock, Jim, et al.
Published: (2023)

Verifiable Exponential Mechanism for Median Estimation
by: Kwon, Hyukjun, et al.
Published: (2025)

Cryptographic Verifiability for Voter Registration Systems
by: Fábrega, Andrés, et al.
Published: (2025)

Verifiable Encodings for Secure Homomorphic Analytics
by: Chatel, Sylvain, et al.
Published: (2022)

Compact and Selective Disclosure for Verifiable Credentials
by: Buldini, Alessandro, et al.
Published: (2025)

Cryptanalysis on Lightweight Verifiable Homomorphic Encryption
by: Cheon, Jung Hee, et al.
Published: (2025)

On Implementing Hybrid Post-Quantum End-to-End Encryption
by: Gandhi, Aditi, et al.
Published: (2026)

Injection Attacks Against End-to-End Encrypted Applications
by: Fábrega, Andrés, et al.
Published: (2024)

Verifying the Fisher-Yates Shuffle Algorithm in Dafny
by: Zetzsche, Stefan, et al.
Published: (2025)

On Cryptographic Mechanisms for the Selective Disclosure of Verifiable Credentials
by: Flamini, Andrea, et al.
Published: (2024)

PRAG: End-to-End Privacy-Preserving Retrieval-Augmented Generation
by: Li, Zhijun, et al.
Published: (2026)

SoK: Web Authentication in the Age of End-to-End Encryption
by: Blessing, Jenny, et al.
Published: (2024)

Session: End-To-End Encrypted Conversations With Minimal Metadata Leakage
by: Jefferys, Kee, et al.
Published: (2020)

VDDP: Verifiable Distributed Differential Privacy under the Client-Server-Verifier Setup
by: Sun, Haochen, et al.
Published: (2025)

AVeCQ: Anonymous Verifiable Crowdsourcing with Worker Qualities
by: Damle, Sankarshan, et al.
Published: (2023)

An End-to-End Model for Logits-Based Large Language Models Watermarking
by: Wong, Kahim, et al.
Published: (2025)