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!

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/

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...

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.

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.

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.

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...