TACEO
@TACEO_IO
Followers
1,171
Following
22
Media
32
Statuses
250
Multiparty computation and coSNARKs
Austria
Joined August 2023
Don't wanna be here?
Send us removal request.
Explore trending content on Musk Viewer
rose
• 735392 Tweets
LINGORM PANTENE TRIP
• 657610 Tweets
bruno mars
• 414539 Tweets
Flamengo
• 128114 Tweets
Corinthians
• 125601 Tweets
Yankees
• 88321 Tweets
Al Smith
• 88183 Tweets
#PantenexLingOrm
• 75840 Tweets
Saints
• 73229 Tweets
Schumer
• 54986 Tweets
CONGRATS CL IG1M400K
• 54713 Tweets
#1M400KLOVECHARLOTTE
• 50561 Tweets
Cleveland
• 37667 Tweets
Maracanã
• 37489 Tweets
Noel
• 36929 Tweets
Allan
• 35509 Tweets
Guardians
• 35136 Tweets
Broncos
• 32775 Tweets
Hulu
• 25416 Tweets
Depay
• 24048 Tweets
CWR Special Project
• 21704 Tweets
#ForTheLand
• 18771 Tweets
Stanton
• 18644 Tweets
Ganso
• 17391 Tweets
ROSSI
• 17362 Tweets
Yuri Alberto
• 15579 Tweets
David Fry
• 15478 Tweets
Garro
• 15080 Tweets
Big Christmas
• 13773 Tweets
Athletico
• 13743 Tweets
Bo Nix
• 13005 Tweets
Weaver
• 12099 Tweets
Mookie
• 10564 Tweets
Gabigol
• 10360 Tweets
Pinned Tweet
🚀Huge news! TACEO has been accepted into the Fall 2024 cohort of
@a16zcrypto
’s Crypto Startup Accelerator (CSX)! We're hyped to connect with fellow innovators, sharpen our vision for MPC encrypted computing, and get insights from some of the brightest minds in the space.
I’m excited to announce the 21 startups we’ve selected to join our Crypto Startup Accelerator (CSX) Fall 2024 cohort, which starts this week.
Over the next 8 weeks, they’ll get firsthand lessons from top crypto founders, receive guidance and support from
@a16zcrypto
’s investing
61
126
634
6
5
62
0/ 🚀 Exciting news from
#ETHCC
! We unveiled our first programmable MPC tooling: coSNARKs. Dive in to see how it opens up two large design spaces! 🧵👇
🔗 Check it out on GitHub:
2
7
51
Zero Knowledge made huge strides to become so big, but it has some limitations. While SNARKs are succinct and non-interactive, the prover must have knowledge of the witness, which, for ~ZK~SNARKs, is often very sensitive.
Our goal is to secure sensitive witness data by bringing
3
12
46
Exciting progress in real-world MPC! Together with
@worldcoinfnd
, we have elevated biometric security to a new dimension. Our collaboration ensures that biometric data remains secure leveraging MPC for Machine Learning. Stay tuned for more breakthroughs coming soon!
2
10
37
Taceo will bring machine learning models to Ethereum by enhancing
@nil_foundation
's zkLLVM for ONNX-based procedural circuit compilation.
Our goal is to enable trustless deployment of established neural networks in Web3.
A thread 🧵
4
6
25
Huge thanks to everyone who joined us for the coSNARKs co-Lab in Lisbon! 🙌 It was incredible to see so many of you diving into MPC and ZK with us.
Special thanks to
@Zac_Aztec
,
@viv_boop
, and
@aisconnolly
for their engaging talks!
Check out some highlights from the day! 📸👇
0
5
31
We particularly like today's episode of "How Cryptographers Name Things" featuring coSNARKs 🍿
Irrespective of naming, we believe that bringing zkSNARKs to the MPC setting is super nice way to perform computation on private shared state.
Relive the Max Pick Challenge in a
1
9
26
We’ve had a busy few weeks, and it’s about to get a lot more crazy 👀
We've had many conversations and wanted to share some of the burning questions we’ve been getting about coSNARKs;
what are the main uses, do we have some benchmarks, how technical does one have to be to play
1
9
25
Our little GmbH is growing!
Yesterday, we celebrated the opening of our new office, marking an exciting new chapter for TACEO. Though
@luhelminger
joined us virtually from NYC, the energy was high, and we’re all reflecting on what an incredible time it’s been.
Looking forward
2
8
25
Co-snark update: Our co-Circom tooling now supports Plonk!
Together with Groth16, this makes a fully MPC-ified Circom.
Some key features:
✅Fully compatible with snarkjs
✅Proofs are verifiable from snarkjs and vice versa
✅We implemented the optimization reducing the rounds of
0
5
24
Welcome to the team!💐
If you know me at all, you'll know that my heart lies in privacy. To join
@TACEO_IO
as their Head of Privacy is a dream for me.
I first met
@luhelminger
when we were both PhD students; I visited
@IAIK_tugraz
to shout about The Right to Privacy, and he was exploring MPC
17
5
85
2
1
23
🔧 Busy month, but never too busy for crypto and Noir!
🚀 Exciting updates for our Noir crypto toolbox: enhanced Poseidon implementation for the standard library, plus the brand new Poseidon2! Dive into the details in our latest blog post!
📖 Read more:
1
7
20
Dive into the future of proof markets with us! Our latest blog explores the synergy between ZK Proofs and MPC to enhance privacy in proof markets. Discover how we're pushing the boundaries with
@nil_foundation
.
✨
Read more:
0
4
20
1/3 🚀 Join TACEO's Max Pick Challenge! 🚀
Submit a number between 1 & 1000 for a chance to win up to $1,000 in ETH! 💰The highest unique guess wins. Your strategy is protected by co-SNARKs (MPC🤝ZK), ensuring privacy and fairness.
Take your shot now 🌟
1
6
20
🌟Our CTO has been honored with a 'sub auspiciis' doctoral graduation, the most prestigious academic distinction in Austria, dating back to the 18th century. This achievement is celebrated in a ceremony attended by
@vanderbellen
(Austrian President). 🎓🚀
4
1
14
We're deep into preparations for joining
@zeroknowledgefm
in Lisbon for ZKSummit 12!
Join Franco on October 8th at 2pm for his workshop "Discover coSNARKs: Circom & Noir meet MPC"
1
4
19
Full house for the coSNARKs workshop at
#zksummit12
. CoNoir had its first public outing, and coCircom got to show off all its features. Thanks Franco for showing MPC flows to the world ✨
Recording to follow soon!
0
3
19
Week one is done in Tokyo for the MPC & FHE field residency organized by
@PrivacyScaling
. Putting together bright minds in one place for two weeks is amazing. There will be a lot of progress in private and confidential compute over the next months. Excited for week two.
Thrilled to be part of the
@PrivacyScaling
residency in Tokyo! Today, I had the opportunity of sharing insights into our MPC-based iris matching protocol. Huge thanks for the invitation to this great event!
0
1
23
0
6
18
One of the things we’re obsessed with is picking the right hash function for the job. In crypto-heavy computation like ZK or MPC there’s a lot of hashing performed and making the right choice can lead to serious efficiency gains.
We’ll talk about some new work soon 👀, but if
0
3
18
MPC-fying the famous PLONK:
✅ FFT & MSM: will reuse Groth16 components
✅ Witness extension: can also be reused
⬜ Polynomial division: "free" in MPC
⬜ Product Check: That's the tough one 👇
1
2
18
The dream is when multiparty computation becomes so ubiquitous that it really is just ‘computation’
0
4
18
Our lead cryptographer
@rw0x0
presented at
#TPMPC
, revealing improvements in large-scale MPC computations. In collaboration with the
@worldcoinfnd
, our GPU implementation shows great promise beyond biometric template protection. Next step: MPC-fied LLMs? 💡
1
4
15
CoSNARKs: Which bits are MPC and which are ZK?
CoSNARKs combine characteristics of multiparty computation and zero knowledge proofs to allow collaborative, privacy-preserving computation.
We keep getting the question: what does it mean to do ZK in MPC? 🤔Let's see⤵️
1
3
16
Proud to be at the forefront with
@worldcoinfnd
, building the largest MPC application ever as part of the
#WorldcoinTechTree
. Our journey through the
#Wave0Grant
is not just a milestone for us but a leap towards redefining privacy and security in the digital age.
0
4
16
1/ From co-SNARKs to dApps
As promised, let's dive into the technical details of the Max Pick Challenge, how we used co-SNARKs to compute on private shared state, and what we learned during the process in this blog post 🧵
1
6
15
New research! Witness leakage potential in several ZK frameworks due to timing attacks found on various non-constant time Poseidon implementations.
Thankfully mitigations are not too costly..
Congrats to Christian and his co-authors on this impactful work!
Just finished,, exploring cache timing leakages in ZK protocols,, I wonder how it might look in the future with power or more sophisticated side-channel attacks.
any feedback would be cool ;)
1
23
62
0
5
16
🧵1/5 Big news! TACEO is thrilled to announce a partnership with
@0xmayalabs
. Together, we’re set to transform the digital media landscape.
#MayaVerfied
#MayaProtocol
6
5
15
If you need help deciding which zk-friendly hash is the best for you, we can help 🫡
Read our latest blog post that tackles the question:
How the heck do I choose my hash function?
For the answer, click below 👇
5
0
12
Would you look at that, we managed to be one of the five winners at
@__zkhack__
🎉🎉
Thanks again for the great team, was really fun to build =nil; chronicle with you ❤️
@arjanjohan
@0xlexx
@thrmdy
@Aleksan42065517
4
4
15
Privacy is inevitable.
0
4
15
ZEE KAY TWELVE! 🥳
We're so excited for this event and the program is looking🔥
Watch out for Franco's workshop if you want to see what happens when Circom & Noir meet MPC.
If you want to see EVEN MORE about coSNARKs, we'll host our very first side event!
zkSummit 12 is coming up in Lisbon - First draft of our program is now live!
Early Bird tickets sold out, but general tickets are now available @
See you there!
0
3
19
2
4
14
Co-Noir soon
Go Go Noirots 🚀🌌
•
@blocksense_
exploring Noir debugging & formal verification 🧑💻
•
@OpacityNetwork
generating proof of websites in Noir 🛜
•
@TACEO_IO
proving Noir programs with MPC shared secrets 🔐
•
@vlayer_xyz
pushing boundaries proving all data with Noir
Can't wait!
0
1
26
2
2
14
We're ready to bring coSNARKs to Lisbon! 🇵🇹
There's been a lot of talk of MPC, ZK, and privacy lately, and this is a perfect opportunity to catch up on what is the latest thinking around tooling, nice ongoing projects, and big picture thinking.
We'll have:
-
@aisconnolly
0
5
14
📢 Hey there, folks!
Checkout out our GMiMC implementation for
@NoirLang
!
GMiMC is the first cipher in our Noir cipher-suite ✌️ Next step: Hydra 🐉 (there is no hydra emoji 🥲)
1
2
12
We need Programmable Cryptography as enabler and counterweight.
ZK is doing fine.
MPC & FHE have to catch up.
2
1
12
Week 1 of
@a16zcrypto
CSX ✅
- Office vibes and hospitality = 🔥
- Got some serious clarity on product-market fit
@jasonrosenthal
@guywuolletjr
- Next week’s gonna be a blast: Research + Engineering, our sweet spot! 🚀
4
1
12
In case you need ZK-friendly encryption, you can check out our Hydra implementation in
@NoirLang
🐉
Writing Noir has been a lot of fun lately. It's crazy what
@aztecnetwork
is getting out. Already looking forward to implement Griffin!
0
1
12
🚀 The winner of the Max Pick Challenge is in! 🎉
🏆 Congratulations to 0x381f35f3817eEe7EEe571E5002DB13c66E69971f!
Thank you all for participating in the first collaborative SNARKs onchain event! 🧩
Sorry,
@zkpodcast
, for the high winning guess 🙄
0
2
12
We're growing! (more on that later). Unfortunately, our amazing AeroPress isn't scalable. After months of hard discussions, we had a breakthrough: we settled on new coffee machine! Nothing can stop us now! 🚀☕
3
3
12
We're looking forward to talk about producing collaborative SNARKs on private shared state, amongst other things.
Also, fitting that the full state of this event is not shared, and that interested attendees should collaborate with the team to attend 🔥
The next workshop at Archetype HQ in NYC is coming up quick
This month we're be covering all things privacy enhancing technology with speakers from
@inconetwork
,
@TACEO_IO
, and
@eternisai
Reach out to an Archetype team member for an invite!
1
3
10
0
3
12
0
0
11
We're excited for
@luhelminger
to present coSNARKs tomorrow at the ZK Dive, amidst a super nice program!
Thrilled to be hosting another round of ZK Dive next Sunday the 29th in NYC 🚀🚀🚀
Join experts in Zero-Knowledge Proofs with talks and panel by
@madhavanmalolan
@luhelminger
@ventali_
@michaelklein
@mjdklein
@Phil_Kelly_NYC
@JoyDeserver
3
6
22
0
4
11
Our collaboration with
@worldcoinfnd
resulted in a pioneering implementation of MPC for iris uniqueness checks. We’re thrilled to have the chance to explain the tech during the upcoming
@encodeclub
Educate series. Join
@luhelminger
on Monday and register here:
0
4
11
🚀Excited to share our progress on zkML for
@nil_foundation
Proof-Market! Dive into our latest blog post to discover how we're enhancing zkLLVM with an ONNX extension. Full tutorial inside!
1
0
11
"Borderline miracle" is the one of the nicest descriptions we've heard 🔥
Excellent summary from
@guywuolletjr
if you want to catch up on the need for coSNARKs and TACEO's motivation 🚀
Scaling, interoperability, privacy — can they all be solved with ZK proofs?
Perhaps, but ZK proofs have one simple problem that usually goes unappreciated — they're incompatible with shared state
Let's dig in 🧵
6
8
55
0
3
10
Student Grants Alert! 🎓
We are proud to support
@tugraz
, our alma mater and a hub for cryptography, security, and privacy research (
@IAIK_tugraz
). Noticing a gap in crypto exposure among students, we're excited to offer student grants to
@EthPrague
Let's join us. Application👇
3
4
10
🚀 Thrilled to speak about the work we've accomplished over the last several months! Join us at the X Live Space event moderated by
@nil_foundation
's CPO
@avizurlo
.
1
0
10
Want to know TACEO’s story?
0
1
9
Big thanks
@aisconnolly
! You saw the potential in
@TACEO_IO
from the start 🚀. Loving the shout-out almost as much as our coffee! Here’s to more epic crypto(graphy) hangs.
Taking vacation in web3 means going to visit your crypto friends at
@TACEO_IO
. Not sure which is more impressive, the MPC or their coffee implementation 👀
1
1
18
1
1
9
We made it to Lisbon! Join us at 2pm today for Franco's workshop if you're curious to discover coSNARKs!
We're deep into preparations for joining
@zeroknowledgefm
in Lisbon for ZKSummit 12!
Join Franco on October 8th at 2pm for his workshop "Discover coSNARKs: Circom & Noir meet MPC"
1
4
19
0
3
9
We’re ready to go with the coSNARK co-Lab at Casa de Desenho!
@stefan9plank_TA
is ready to check you in, and the bar is open 🥂
Program kicks off at 4:30 🎤
0
1
9
Second day at
@__zkhack__
✌️It's crazy to see how many people are as excited for ZK as us
Also the venue is beautiful 😆
1
0
8
Catch us showcasing the first generic coSNARKs tooling at
@UnalignedHouse
& Trust Infrastructure day, by
@hyle_org
and
@aztecnetwork
0
3
8
The need for private proof delegation arises when a single entity can't or shouldn't handle sensitive data alone.
This could be due to resource constraints (e.g., mobile devices) or security concerns. Co-SNARKs allow the proof generation to be distributed across multiple parties
1
1
8
Want to know TACEO’s story? Learn about our humble beginnings, vision, and what’s next as we join
@a16zcrypto
's CSX cohort in NYC! From private computation dreams to building the future of Web3, we’re just getting started. Check out our journey in the blog! 🌐🔐🚀
0
3
7
Kudos to
@0xPARC
and
@PrivacyScaling
for sparking the ProgCrypto conversation! Dive into our vision for the future of ProgCrypto and join the conversation:
1
2
6
We'll also host a side event the day after to showcase community initiatives, coSNARKs in practice, some games👀, and plenty more✨
We'd love to see you there!
0
0
6
We just finished our submission for
@__zkhack__
🙃
Thanks to the great team❤️
@arjanjohan
@0xlexx
@thrmdy
@Aleksan42065517
0
1
6
“Property rights transformed the physical world, the same will happen in the digital world.”
— Yat Siu, Chair,
@animocabrands
True digital ownership will come through programmable cryptography.
1
0
5
We're excited to keep pushing the boundaries of MPC with the
@worldcoinfnd
team! Their relentless ambition drives us to achieve new levels.
3/ The
@TACEO_IO
team will further their already groundbreaking work on Secure Multi-Party Computation, which led earlier this year to the secure deletion of Worldcoin’s previous iris code system achieving an unprecedented level of privacy protection for WorldID verified users.
1
3
26
0
3
6
Excited that our solution could help
@0xmayalabs
building the trust layer for digital media authenticity.
Privacy Preserving
• Privacy is an important feature of the Maya Protocol, as users often prefer not to reveal the original media (e.g; images)
• We discussed potential solutions with various teams, including using TEEs (
@MarlinProtocol
) and MPC (
@TACEO_IO
).
• FHE (
@zama_fhe
1
0
3
0
0
6
🏆 Huge congrats to our CSO for being honored with the prestigious Test of Time Award! 🏆
His work introduced the rebound attack, now essential in cryptanalysis, shaping the security of hash functions like Poseidon & Monolith.
0
0
4
What exists so far? We've developed co-SNARK tooling for Circom, which allows developers to "MPC-ify" Circom circuits. Our co-Circom tooling has support for both Groth16 and Plonk. Now we're working on some optimizations and other proof systems🪿
1
1
6
So, if we really want ZK proofs to become bigger than blockchains, we need to ensure they can handle real-world complexity.
Co-SNARKs are a crucial step in this direction allowing to perform encrypted computation across diverse environments. This not only protects our privacy
1
1
6
We're pushing the boundaries of what's possible with cryptography. If you're interested in MPC, encrypted compute, co-SNARKs, or are already building something, we'd love to hear from you.
Until then, back to making ZK bigger than blockchains🔥
0
1
5
8/ What's next for co-SNARKs? We plan to:
🚄Improve the speed of the witness extension.
🎸Support PLONK.
🧪Research and implement modern ZK proof system improvements (e.g., Lookups)
0
1
5
3/5 With this partnership, Maya Labs will leverage TACEO's collaborative SNARKs tooling. This enables them to outsource the computationally intensive proof generation needed for their ZK Editor without compromising privacy or data ownership.
1
0
4
🇬🇷 Just landed in Greece - for
@zeroknowledgefm
summit - home of our tech gods & mythical muses:
Poseidon & Griffin keep our hashes cool, Hydra & Hades safeguard our secrets.
0
0
5
Join us in 3h
Today
@luhelminger
and his team from
@TACEO_IO
will join us to present their recent work “Large-Scale MPC: Scaling Private Iris Code Uniqueness Checks to Millions of Users".
1PM GMT+2
1
1
21
0
0
5
We’re heading to
@EthereumDenver
.
First stop
@nil_foundation
Scale Summit and
@d_InfraSummit
where
@rw0x0
will be speaking about large scale MPC applications. See you there!
0
1
5
Joint computation on private shared state is key in collaborative environments where multiple parties need to compute on shared data without revealing their individual inputs.
Co-SNARKs provide a secure way to achieve this by allowing privacy preserving computation across
1
1
5
2/5 Maya Labs is on a mission to build the authenticity layer of the internet and combat AI-generated deepfakes and misinformation. Their decentralized protocol uses cutting-edge zero-knowledge technology for on-chain verification of media content.
1
1
4
OK, one more 😅
Find the next algorithm for our
@NoirLang
Ciphersuite:
Griffin 🔥
To the best of our knowledge, this is the first Griffin implementation for any proof system 🥇
It beats Poseidon from the stdlib by a factor 20 👌
0
1
5
If you are interested in zk-friendly hash functions, meet us in London at
#zk10
next week during
@rw0x0
's talk about
#Monolith
, a zk-friendly hash function with the plain speed of keccak!
- Sept 20, 12:30
Catch this video explaining the Poseidon hash function, recorded @
#zkSummit9
Join us for
#zk10
- Happening Sept 20 in London!
0
1
8
0
0
5
4/ Join the fun! 🎉
Be part of what we believe is the first collaborative SNARKs proof on-chain. Participate in our guessing game until Sunday at .
1
2
5
We're thrilled to have been selected in the initial wave for something we're truly passionate about: MPC. Collaborating with Worldcoin has been a pleasure. Keep an eye out for what's next!
The first Worldcoin Community Grants recipients have been announced 🫡
84
96
676
0
2
5
Want to learn more about co-SNARKs?
Explore our open-source tooling based on the circom framework. No need to master MPC – start building your first private shared state app today. Ready to dive in? Visit
0
1
4
If you missed the live session. Here is the recorded version of the deep dive (~50 min) into high throughput MPC. 👇
0
3
5
Co-SNARKs allow multiple parties to work, communicate, and jointly compute a SNARK. There are two main reasons why you'd want to do this:
- if you want to delegate proving while maintaining witness privacy, or
- if you want to jointly compute on private shared state ✨
1
0
5
CoSNARK Verification is never done in MPC. The proofs generated are 'normal' ZK proofs, which means they can be verified by generic SNARK verifiers—no need for MPC here.
E.g. if you use coCircom to generate a Groth16 proof, it can be checked by any Groth16 verifier.
1
0
4
Curious about the distinctions between Poseidon and Poseidon2? Dive into our blog post to explore the nuances!
Release v0.21 of the RISC Zero zkVM is here. Here's what's new 👇
➡️ Switched hash functions from Poseidon to Poseidon2 to speed up and improve security on our recursion circuit:
➡️ Docs got a new look and improved navigation.
➡️ Check the changelog for
5
12
65
0
2
4
Step 1: Users make a guess. This happens by
- User connects wallet to front end and submits guess.
- Guess is secret shared for the MPC network.
- Shares are encrypted and signed and sent to orchestration server.
1
0
4
Step 2 - The guess is processed
- The orchestration server checks address is unique and verifies shares, forwards shares to MPC network
1
0
4
5/ 📢 If you are interested in the project, here again is the link to our blog post:
1
0
3
Only two more days until
@__zkhack__
. Anyone there interested in building zkML? 🔥
We will be there!
0
0
4
We need Programmable Cryptography (ProgCrypto)!
Today,
@FTC
brought and settled charges against a data broker who, among other things, tracked people to their cardiologists, endocrinologists, or gastroenterologists and used that information to sell custom audience segments to third parties.
7
150
303
0
0
4
1/ What are coSNARKs? 🤔
coSNARKs, or collaborative SNARKs, merge the best of MPC and ZK. Introduced in 2022, they enable multiple parties to jointly create a proof of correct computation while keeping the witness private.
1
0
4
Step 3 - The guess is validated and stored
- The MPC network computes coSNARK that guess is legit and commits to it.
- CoSNARK is sent to orchestration server which posts proof on Optimism.
- If proof is correct, commitment is sent to Optimism smart contract.
1
0
4
Also a big thank you to the
@__zkhack__
team for organizing a great event!
And to
@nil_foundation
for helping us out until late at night 🔥
0
0
4
🌟Post
@zeroknowledgefm
Summit, the demand for collaborative SNARKs has been incredible! We're fully committed and heads down, building robust solutions for our partners.
0
1
4
5/ We'd love your feedback! 💬
Explore coSNARKs, and we'd love to hear your thoughts.
0
1
4
In case you missed it, =nil; opened the open beta for their Rust frontend 🔥
1/
After extensive testing, we’re glad to announce =nil; zkLLVM’s Rust frontend is moving to public beta!
Developers can now compile circuits directly from Rust and reduce their application time to market
Learn how to install and use it:
More in thread
3
21
133
0
0
4