Lukas Helminger (@luhelminger) / X

Lukas Helminger

3,286 posts

Lukas Helminger

@luhelminger

CEO @TACEO_IO // Building encrypted compute for the internet // Prev. cryptography researcher @tugraz

Graz

Joined April 2020

Pinned
Lukas Helminger
@luhelminger
Mar 15
People don't care what a solution could also do. They want their specific problem solved. Nothing more. The space thought there was enough time to build a general-purpose verifiable, encrypted world computer. Agents and AI showed us there isn't. We need solutions now, before
Lukas Helminger
@luhelminger
Mar 15
Article
Agents Need Private, Verifiable Actions at Scale. No Current Infrastructure Delivers That.
Three years ago we almost built the wrong thing. The dream was encrypted verifiable computation for arbitrary programs. An MPC(zk)VM. Prove anything, keep it private. Hard to argue with on a...
5.1K
Lukas Helminger
@luhelminger
Jul 31, 2025
We just raised a $5.5M seed round to build the network for Private Shared State. It’s the thing we’ve been working towards for years, and now we finally get to realise it. Here’s why we’re building it
00:00
58K
Lukas Helminger
@luhelminger
May 11, 2025
I have the feeling Dan Boneh’s lectures are cryptography’s equivalent to the Feynman Lectures
9.9K
Lukas Helminger
@luhelminger
Apr 8, 2025
No more client-side bottlenecks
6.5K
Lukas Helminger
@luhelminger
Jan 8, 2025
zkVMs 💔 Privacy In 2024, the dominant narrative in the zk space revolved around zkVMs. They offer a compelling story: instead of developers writing the business logic of their applications as circuits or in a specialized zkDSL, they can stick to the programming languages they’re
12K
Lukas Helminger
@luhelminger
Sep 19, 2024
Research and Engineering week at @a16zcrypto CSX is a wrap. Some personal takeaways: - Even though we can’t apply the same zkVM architecture and techniques 1:1 to MPC(zk)VM, there’s a lot to learn from the process of building Jolt. - Educating engineers about the opportunities
10K
Lukas Helminger
@luhelminger
Sep 19, 2025
This means a busy weekend for some cryptographers
6K
Lukas Helminger
@luhelminger
Nov 10, 2024
We need something similar to @l2beat for privacy. Why? Privacy (computation) has picked up compared to Devconnect last year—projects big and small have changed their attitude. From “no user wants privacy” to it now appearing in every marketing pitch (even though the tech hasn’t
9.1K
Lukas Helminger
@luhelminger
Dec 19, 2024
The DMs I’m getting about people switching to @NoirLang are wild. Our bet on Noir as the zkDSL for coSNARKs is paying off. Early exposure in 2023 showed us its potential—but the ecosystem’s explosion in recent months? Definitely not on my 2024 bingo card. 🚀
13K
Lukas Helminger
@luhelminger
Jun 1, 2025
The recent @a16zcrypto podcast on @worldnetwork runs over two hours. And it’s worth it (congrats to Adrian, Remco, and Eddy). It’s probably the most in-depth conversation yet on what it takes to build a global proof-of-human system in a world shaped by AI. A central theme is
a16z crypto
@a16zcrypto
May 30, 2025
AI vs. ID: How do we prove who's human and who's AI in a world of agents, bots, deep fakes, and more? The answer may be a privacy-preserving ID that proves you're human -- and enables new applications, too: a16zcrypto.com/posts/podcast/…
8.1K
Lukas Helminger
@luhelminger
Mar 18, 2025
ZK is already powering real-world apps—identity (Semaphore), zkTLS, zkEmail, zkPassport—but notice a pattern? Their ZK proofs are lightweight (a hash, an encrypted message). Anything heavier would kill UX. Now, imagine builders had the freedom to prove much more sophisticated
4.1K
Lukas Helminger
@luhelminger
Aug 5, 2024
A must read blog post on programmable cryptography by @gubsheep from @0xPARC 0xparc.org/blog/programma… main points: - cryptography is undergoing a generational transition - 3 examples what programmable cryptgraphy can do: universal protocol, hallucinated servers, cryptographyic
8.9K
Lukas Helminger
@luhelminger
Dec 15, 2024
Mastering the tech behind private shared state—MPC, ZK, FHE—is hard. Delivering a fast, easy-to-use product? Even harder. But in the end, distribution wins. Private shared state must reach builders and touch millions of users.
5.6K
Lukas Helminger
@luhelminger
Mar 28, 2025
coSNARKs on GPUs achieved internally shoutout to @Ingo_zk for the icicle library co-icicle next?!
4.7K