all InfoSec news
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge
Nov. 17, 2023, 1:48 a.m. |
IACR News www.iacr.org
ePrint Report: ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge
Daniel Luick, John Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang, Ning Luo
Verification of program safety is often reducible to proving the unsatisfiability (i.e., validity) of a formula in Satisfiability Modulo Theories (SMT): Boolean logic combined with theories that formalize arbitrary first-order fragments. Zero-knowledge (ZK) proofs allow SMT formulas to be validated without revealing the underlying formulas or their proofs to …
daniel eprint report james john knowledge program report safety smt verification wang zero knowledge
More from www.iacr.org / IACR News
Blink: An Optimal Proof of Proof-of-Work
1 day, 1 hour ago |
www.iacr.org
PN-based Attacks in the White-box Setting
1 day, 1 hour ago |
www.iacr.org
Succinct Functional Commitments for Circuits from k-Lin
1 day, 7 hours ago |
www.iacr.org
Unstructured Inversions of New Hope
1 day, 7 hours ago |
www.iacr.org
Jobs in InfoSec / Cybersecurity
Information System Security Officer (ISSO)
@ LinQuest | Boulder, Colorado, United States
Project Manager - Security Engineering
@ MongoDB | New York City
Security Continuous Improvement Program Manager (m/f/d)
@ METRO/MAKRO | Düsseldorf, Germany
Senior JavaScript Security Engineer, Tools
@ MongoDB | New York City
Principal Platform Security Architect
@ Microsoft | Redmond, Washington, United States
Staff Cyber Security Engineer (Emerging Platforms)
@ NBCUniversal | Englewood Cliffs, NEW JERSEY, United States