all InfoSec news
Towards Verifiable FHE in Practice: Proving Correct Execution of TFHE's Bootstrapping using plonky2
March 18, 2024, 2:24 a.m. |
IACR News www.iacr.org
ePrint Report: Towards Verifiable FHE in Practice: Proving Correct Execution of TFHE's Bootstrapping using plonky2
Louis Tremblay Thibault, Michael Walter
In this work we demonstrate for the first time that a full FHE bootstrapping operation can be proven using a SNARK in practice. We do so by designing an arithmetic circuit for the bootstrapping operation and prove it using plonky2. We are able to prove the circuit on an AWS C6i.metal instance in about 20 minutes. Proof size is about …
More from www.iacr.org / IACR News
Blink: An Optimal Proof of Proof-of-Work
1 day, 20 hours ago |
www.iacr.org
PN-based Attacks in the White-box Setting
1 day, 20 hours ago |
www.iacr.org
Succinct Functional Commitments for Circuits from k-Lin
2 days, 2 hours ago |
www.iacr.org
Levin–Kolmogorov Complexity is not in Linear Time
2 days, 2 hours ago |
www.iacr.org
Unstructured Inversions of New Hope
2 days, 2 hours ago |
www.iacr.org
Jobs in InfoSec / Cybersecurity
Technical Product Manager, Electronic Warfare - Active Clearance
@ Anduril | Costa Mesa, California, United States
Specialist Operations and Support/ Entry Professional - IT Security, Cyber Security & Governance
@ Norsk Hydro | Jaipur, IN
Embedded Software Engineer, Electronic Warfare
@ Anduril | Costa Mesa, California, United States
Cyber Security Analyst
@ Peraton | Chantilly, VA, United States
Principal Consultant, Proactive Security - Unit 42
@ Palo Alto Networks | Sydney, Australia
Penetration Tester Consultant
@ RSI Security | United States - Remote