MPC isnβt new.
Whatβs new is treating it like ~infrastructure, not a one-off protocol.
MPC isnβt new.
Whatβs new is treating it like ~infrastructure, not a one-off protocol.
TACEO:Proof early access phase is now open.
Weβre looking for teams building real systems that need real proof infra.
Express interest:
cryptpad.fr/form/#/2/fo...
Under the hood:
- Inputs are secret-shared across nodes in an MPC network
- Private computation runs on encrypted shares
- Nodes generate a coSNARK together
- Output: one proof, verifiable on-chain or off
With TACEO:Proof, you can delegate proof generation:
β
without revealing your witness data
β
without running heavy provers
β
without trusting a central actor
ZK proofs are powerful and are becoming ubiquitous. Yet, we've seen that builders suffer huge limitations due to client side restrictions, browser timeouts, or weak devices.
Most apps outsource proving to a service they have to trust.
We built TACEO:Proof so you donβt have to.
TACEO:Proof is now in Beta
A collaborative proving network for fast and private ZK proof generation.
Stage: Beta
Status: Open for early builders
New Personal Stack is here by cryptographer @aisconnolly.bsky.social from @taceo.bsky.social
Feel free to explore free, open-source tools experts are using.
Couldn't make it to Denver & sad you missed our talks?
We got you!
Talk #3:
"coSNARKs and Private Shared State"
with @aisconnolly.bsky.social of @taceo.bsky.social
Link to the recording:
youtu.be/9jdQ2uk2WWg?...
Weβll be in Denver to hijack a corner of the @zkhack.dev meetup!
Come chill with us if you want to talk coSNARKs, coNoir, MPC generally, or to get your hands on some of the most notorious stickers in town π₯
In a (long) tweet and an article, @taceo.bsky.social team first gave a quick refresher on what zkTLS is, and then presented how it can move beyond 2-party computation (2PC) β a TLS-MPC version with multiple parties.
Article: https://buff.ly/4gzN26v
Back to TACEO's roots! Our CTO is giving a guest lecture at TU Graz: 'Zero-Knowledge Proofs: Plonkish Proofs & Use Cases.' Curious to see how many get zk-pilled today!
27.01.2025 17:24 β π 2 π 0 π¬ 0 π 0
We'll be at Ethereum Zurich next week to talk all things coSNARKs and private shared state! Let us know if you're in town, and would like to talk prog crypto and the future of privacy in Web3.
cfp.ducttape.events/ethereumzuri...
Wrapping up our hackathon series, we present MPCSQL by Roman. His project enables SQL queries on secret-shared databases, offering a practical insight into MPC for newcomers. Learn more: blog.taceo.io/mpcsql/
27.12.2024 11:03 β π 0 π 0 π¬ 0 π 0
Our hackathon series continues with Too Packed to Hack from Florin.
His goal was to add packed secret sharing to our tooling.
Starting with ZKSaaS ideas, then pivoting to Batched Proving, this project gives a good view of how it is to work in the ZK space.
blog.taceo.io/packed-secr...
Franco chose to MPCify the classic Secret Santa protocol.
Players in the game (santas) are secret shared to our alphanet (the high elf.) Santas are then shuffled in a secure way, and assigned to their giftee while maintaining privacy. See more details:
blog.taceo.io/secret-shar...
Hackathon series, Christmas edition!
Today we are happy to share the winner of the @TACEO_IO hackathon was Franco with Secret Shared Santa!
His project adds a coSNARK twist to the classic game, allowing participants to securely exchange gifts while maintaining the element of surprise.
Fabian implemented MPC GeoTools, a prototype for private two-party computation with GPS coordinates. Both parties use additive secret sharing to split their coordinates into shares. Distance computations are performed on those shares. See more details: blog.taceo.io/mpc-geotools/
24.12.2024 16:00 β π 0 π 0 π¬ 0 π 0
Continuing our hackathon series, this time we'll look at the probably most practical project. For that, it won the 'to the moon' astronaut plushie prize.
The project was from Fabian who chose to implement a tool for private computation with location data based on MPC.
MHEGA: Make Homomorphic Encryption Great Again. @rw0x0 explored using HE for coSNARKs by adapting HElib. Despite getting optimizations to work, FFTs in HE are still 10,000 times slower than plain or MPC and need huge memory.
More details: blog.taceo.io/mhega/
Beyond coSNARKs, there are many other happenings at TACEO π
We recently held a weeklong hackathon to explore side projects. This week, we'll share some highlights.
Most of the team worked on MPC or coSNARKs, except @rw0x0, who worked on homomorphic encryption. Let's take a look.
We had a great year. From bringing super optimized MPC protocols to the mass market and securing 9 million people's irises with World, to developing open source coSNARK tooling and building an alphanet for private proof delegation, it's been wild.
Full breakdown here: blog.taceo.io/eoy/
β
Range checks in collaborative Noir
β
Support for asserts, and...
β
The first version of the Brillig VM in MPC!
Though still in early experimental stages, this is huge progress for private shared state in Noir
Read more in the coNoir releases: docs.taceo.io/docs/release...
CoSNARKs have been heating up since Devcon π₯
and some of the leading ZK projects are currently onboarding to try our alphanet for private proof delegation.
There are a few slots left, so if you wanted to offload some proving in a privacy preserving way, our dms are open.
Key Stats:
- Over 15,000 proofs generated in 4 days (~3.7k/day)
- Peak throughput: 40 proofs/min
- Scaled from 9 nodes to 24 nodes across providers
- A small outage on Day 2 revealed the beauty of distributed systems. Issues were quickly resolved with teamwork and scaling.
It worked!
Almost flawlessly!
1800+ people generated 15000+ coSNARKs!
Last week we established a coSNARK Alphanet with the Cursive team and PSE so that the Cursive Devcon app could privately outsource proof generation. More details:
blog.taceo.io/devcon-demo/
You might have heard recently about collaborative SNARKs and that people start to use them. One of the main problems they are useful to solve is that of private shared state.
blog.taceo.io/private-shar...