Hackathon: MHEGA - Make Homomorphic Encryption Great Again
In this 1 week internal TACEO hackathon project, I (Roman Walch, lead cryptographer) wanted to explore the suitability of homomorphic encryption (HE) when applied to our favourite topic: coSNARKs. Obviously, I won't be able to get a full HE-based zero-knowledge proof system runni…
Too Packed to Hack
During our internal Hackathon week, each of us chose a topic of our choice to focus on for an entire week. After brainstorming a bit (and discarding some initial ideas), I settled on adding packed secret sharing to our tooling. As a starting point I took the zkSaaS paper from 202…
The Surprising Efficiency of Honest-Majority MPC for coSNARKs
After our recent blog posts about a large-scale MPC use case together with Worldcoin and about coSNARKs, we wanted to take a closer look at some specific MPC protocols, investigate what makes them efficient for coSNARKs, and discuss some specific optimizations we recently found a…