Lukas Helminger
@luhelminger
Followers
2K
Following
4K
Media
130
Statuses
2K
CEO @TACEO_IO // Building encrypted compute for the internet // Prev. cryptography researcher @tugraz
Graz
Joined April 2020
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
95
29
322
the winner is... Zk + encrypted compute aka collaborative SNARKs it wins already in the identity space payments are next
Privacy clearly a big problem. But what is the solution. - privacy coins like zcash? - ZK infra like starknet, zksync, succinct, aleo, aztec? - insto/enterprise approach like canton? - encrypted computation like arcium? Someone smarter tell me who wins privacy.
0
0
6
Open mode vs. closed mode put us into crisis mode end of last year but it took me until end of this summer to realise the reason. We had a strong and exhausting autumn last year going through @a16zcrypto CSX, pushing hard to pull off an activation at Devcon where we were able to
2
0
15
.
🚀 𝐏𝐨𝐬𝐞𝐢𝐝𝐨𝐧𝟐𝐛 is here >> a binary-field adaptation of Poseidon2 (2023), designed for the next generation of ZK proof systems & operating over bits, not primes. 👇 Why it matters, and how it differs from earlier Poseidons.
0
0
0
only 5 days after publication of Poseidon2b, @meanjanroy has written a python reference implementation and is already cooking an optimised rust version 🤯 What is Poseidon2b about 👇
Poseidon2b now has one more reference implementation in Python. What's new? - Simple, easy to read. - Generates partial and full round matrices and round constants. It was missing from official ref. impl. in Sagemath. - The official ref. impl. comes with one test vector per
4
0
8
Same will holde for encrypted compute. Most computation will be structured operations that can be ‘encrypted’ compute directly, not in a VM
@_weidai A core part of the reason why is https://t.co/7CwdzKRy85 The bulk of the computation will be structured operations that can be proven directly, not inside a VM
1
0
12
a researcher is changing his affiliation and it’s such a big news I love this aspect of the industry so much not sure if this happens in any other industry
3
0
35
MPC+ZK (=coSNARKs) already is becoming the goto solution for decentralised identity next payments
Private, compliant stablecoin transfers aren’t a question of IF, but HOW. I’ve analyzed 5 ways to make them real👇
3
2
35
Private, compliant stablecoin transfers aren’t a question of IF, but HOW. I’ve analyzed 5 ways to make them real👇
10
10
40
Noir isn’t a zkDSL anymore. It’s the only programmable cryptography language out there.
Want to build privacy-preserving apps but intimidated by MPC? Good news: if you know Circom or Noir, you can already start. Here’s how we’ve made ZK + MPC usable for devs 🧵👇
3
8
39
👀
I am excited to announce that I will be joining Tempo. This last year has been a turning point for crypto, where we have finally seen the outlines of our vision being materialized. While payments used to be front and center in the early days of crypto, I see a special opportunity
0
0
9
The interesting question is then who is Signal?
banks are fax machines neobanks are pay phones payy is whatsapp
0
0
2
4
9
71
Noir isn’t a zkDSL anymore. It’s the only programmable cryptography language out there.
Want to build privacy-preserving apps but intimidated by MPC? Good news: if you know Circom or Noir, you can already start. Here’s how we’ve made ZK + MPC usable for devs 🧵👇
3
8
39
everyone in stablecoin land is exploring private payments. we talked to the teams. my list on the high-level technical requirements of an MVP - 1000+ TPS - amount hidden - no new trust assumptions, i.e. correctness must remain verifiable onchain
10
7
55
at TACEO we continue our research into hash function
🚀 𝐏𝐨𝐬𝐞𝐢𝐝𝐨𝐧𝟐𝐛 is here >> a binary-field adaptation of Poseidon2 (2023), designed for the next generation of ZK proof systems & operating over bits, not primes. 👇 Why it matters, and how it differs from earlier Poseidons.
1
1
19
1/ Let’s assume using TEEs means you fall out of data protection regulations. Then we’ve found a cheap way for big tech to solve their compliance issues around data.
3
2
9
private payments can’t introduce new trust assumptions. if a payment chain runs on hundreds of validators, the confidential transfer must too, or it must be verifiable onchain (zk proof).
0
0
7