@Primuslabs
Make the World’s Data Useful Onchain
Website
Website
Make the world’s data useful onchain
Twitter
Twitter
Deck
Deck
Paper(Garble-Then-Prove)
Paper(Garble-Then-Prove)
Paper(QuickSilver)
Paper(QuickSilver)
Paper(HasteBoots)
Paper(HasteBoots)
Fully Homomorphic Encryption (FHE) enables computations on encrypted data, ensuring privacy for outsourced computation. However, verifying the integrity of FHE computations remains a significant challenge, especially for bootstrapping, the most computationally intensive operation in FHE. Prior approaches, including zkVM-based solutions and general-purpose SNARKs, suffer from inefficiencies, with proof generation times ranging from several hours to days. In this work, we propose HasteBoots, a succinct argument tailored for FHE operations. By designing customized polynomial interactive oracle proofs and optimized polynomial commitment schemes, HasteBoots achieves proof generation in a few seconds for FHE NAND with bootstrapping, significantly outperforming existing methods. Our approach demonstrates the potential for scalable and efficient verifiable FHE, paving the way for practical, privacy-preserving computations.
Github
Github
Medium
Medium
Read writing from Primus Labs on Medium. Primus (formerly "PADO") is a cryptographic infrastructure that enables any web data to be validated, and further to be encrypted and processed.
Email
Email
View on mobile
Explore other Linktrees
Heather Traska
@heathertraska
Tara Yummy
@tarayummy
myfavoritemurder
@myfavoritemurder
Boze vs The World
@bozevstheworld
Tika the Iggy
@tikatheiggy
Autym
@autym
Chelsea Handler
@chelseahandler
TMG Studios
@tmgstudios
OrelSanTour2026
@OrelSanTour2026
Alli Weatherly
@alliweatherly
previous
next
Discover more
See all
@minna_miteru
@pool_deza
@WonderTeacherWashington
@slaybookdragons
@Jonnes_
@nnoa.zk
@edeajohnson
@nataliaconsultora
@holygains7
@davidwinn
@KAPITAL_REY
@dilanselek
@ilhadasfantasias
@studiopiedcarre
@ssweetholic
@jbstexacocayey
@lidiasousa_sucessonagestao
@ninadempsey
@starharris_
@Batistachurchoficial
@celmira_de_almeida
@payuma
@espaceh
@Teaswagfinds
@briibandss
@1melisa
@natdel924
@DaveLombardo
@outsidersfitness
@dominohair
@Rustysmart
@pakis_songgom
@gabrielfelipeadv
@to7u
@emicarnahan
@mirandamakeupvip
@Sheiramejia01
@oneillkinesiologycollege
@kellyclausen
@nicolasdreher
@rezkyhandy
@EscapeTheVoid
@adelyngracevintage
@Beanjosh
@cherryicedfinds