Search
Search Results
-
Efficient Hybrid Exact/Relaxed Lattice Proofs and Applications to Rounding and VRFs
In this work, we study hybrid exact/relaxed zero-knowledge proofs from lattices, where the proved relation is exact in one part and relaxed in the... -
Scalability meets regulation: UTXO-based sharding and zero-knowledge proofs for regulated digital currencies
FinTech and RegTech integration is essential for develo** regulated digital currency (RDC) systems that are scalable and compliant. This paper...
-
CryptoZoo: A Viewer for Reduction Proofs
Cryptographers rely on visualization to effectively communicate cryptographic constructions with one another. Visual frameworks such as constructive... -
Systematization of knowledge: privacy methods and zero knowledge proofs in corporate blockchains
Nowadays enterprises implement blockchain technology in various industries, including finance, logistics, and other sectors. While the core idea...
-
Epistemic Roles of Diagrams in Short Proofs
Recent case studies in the philosophy of mathematical practice have pointed out that certain types of diagrams play epistemic roles in mathematical... -
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories
Generating proofs of unsatisfiability is a valuable capability of most SAT solvers, and is an active area of research for SMT solvers. This paper... -
TOrPEDO: witnessing model correctness with topological proofs
Model design is not a linear, one-shot process. It proceeds through refinements and revisions. To effectively support developers in generating model...
-
Succinct Non-Interactive Arguments via Linear Interactive Proofs
Succinct non-interactive arguments (SNARGs) enable verifying NP statements with lower complexity than required for classical NP verification....
-
Malleable Commitments from Group Actions and Zero-Knowledge Proofs for Circuits Based on Isogenies
Zero-knowledge proofs for NP statements are an essential tool for building various cryptographic primitives and have been extensively studied in... -
Broken Proofs of Solvency in Blockchain Custodial Wallets and Exchanges
Since the Mt. Gox Bitcoin exchange collapse in 2014, a number of custodial cryptocurrency wallets offer a form of financial solvency proofs to... -
Secure and efficient public auditing system of user data using hybrid AES-ECC crypto system with Merkle hash tree in blockchain
Data auditing permits data owners to confirm the reliability of their personal information without obtaining it from an unsafe cloud. Advertising...
-
Non-interactive Zero-Knowledge Proofs to Multiple Verifiers
In this paper, we study zero-knowledge (ZK) proofs for circuit satisfiability that can prove to n verifiers at a time efficiently. The proofs are... -
Refinements of Hybrid Dynamical Systems Logic
Hybrid dynamical systems describe the mixed discrete dynamics and continuous dynamics of cyber-physical systems such as aircraft, cars, trains, and... -
Your Reputation’s Safe with Me: Framing-Free Distributed Zero-Knowledge Proofs
Distributed Zero-Knowledge (dZK) proofs, recently introduced by Boneh et al. (CRYPTO‘19), allow a prover... -
Efficient Proofs of Knowledge for Threshold Relations
Recently, there has been great interest towards constructing efficient zero-knowledge proofs for practical languages. In this work, we focus on... -
Axiomatization of Hybrid Logic of Link Variations
In this paper, we investigate local and global dynamic modal operators which have the ability to update the accessibility relation of a model. For... -
Verifying Event-B Hybrid Models Using Cyclone
Modelling hybrid systems using Event-B is challenging and users typically are unsure about whether their Event-B models are over/under-specified. In... -
Oblivious Transfer from Zero-Knowledge Proofs
We provide a generic construction to turn any classical Zero-Knowledge (ZK) protocol into a composable (quantum) oblivious transfer (OT) protocol,... -
Beyond MPC-in-the-Head: Black-Box Constructions of Short Zero-Knowledge Proofs
In their seminal work, Ishai, Kushilevitz, Ostrovsky, and Sahai (STOC‘07) presented the MPC-in-the-Head paradigm, which shows how to design... -
HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic
We present a tool for verification of hybrid systems expressed in the sequential fragment of HCSP (Hybrid Communicating Sequential Processes). The...