's Avatar

@taceo.bsky.social

41 Followers  |  6 Following  |  23 Posts  |  Joined: 17.11.2024
Posts Following

Posts by (@taceo.bsky.social)

MPC isn’t new.
What’s new is treating it like ~infrastructure, not a one-off protocol.

26.01.2026 17:04 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Encrypted Form CryptPad: end-to-end encrypted collaboration suite

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

24.04.2025 18:16 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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

24.04.2025 18:16 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

With TACEO:Proof, you can delegate proof generation:

βœ…without revealing your witness data
βœ…without running heavy provers
βœ…without trusting a central actor

24.04.2025 18:16 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

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.

24.04.2025 18:16 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Video thumbnail

TACEO:Proof is now in Beta
A collaborative proving network for fast and private ZK proof generation.
Stage: Beta
Status: Open for early builders

24.04.2025 18:16 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Post image

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.

19.03.2025 13:25 β€” πŸ‘ 7    πŸ” 3    πŸ’¬ 0    πŸ“Œ 0
Ais of TACEO @ ZK Hack Meetup in Denver, 24 Feb 2025
In this presentation recorded at ZK Hack Meetup in Denver on 2025, February 24th, Ais Connolly of TACEO talked about Private Shared State, how Collaborative ... Ais of TACEO @ ZK Hack Meetup in Denver, 24 Feb 2025

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

06.03.2025 11:18 β€” πŸ‘ 5    πŸ” 3    πŸ’¬ 1    πŸ“Œ 1

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 πŸ”₯

12.02.2025 12:06 β€” πŸ‘ 2    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0
Preview
Multiparty Notaries for zkTLS A blog about various topics in MPC, ZK and other privacy-preserving technologies, by TACEO.

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

07.02.2025 20:58 β€” πŸ‘ 3    πŸ” 2    πŸ’¬ 1    πŸ“Œ 0
Post image

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
Preview
Collaborative SNARKs and Private Shared State EthereumZuri.ch 2025 As blockchain technology matures, the expansion from purely public state systems, pioneered by Ethereum, to privacy-centric platforms like Aztec and Aleo marks significant progress. However, the devel...

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

22.01.2025 19:02 β€” πŸ‘ 4    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

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

26.12.2024 16:05 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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

25.12.2024 14:00 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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.

25.12.2024 14:00 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

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.

24.12.2024 16:00 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

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/

23.12.2024 11:04 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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.

23.12.2024 11:04 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Preview
TACEO 2024: Coffee, Code, and CoSNARKs A blog about various topics in MPC, ZK and other privacy-preserving technologies, by TACEO.

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/

22.12.2024 09:45 β€” πŸ‘ 3    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Major update to coNoir (November 2024) | TACEO coSNARKs Summary

βœ…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...

05.12.2024 14:27 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Post image

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.

26.11.2024 17:22 β€” πŸ‘ 3    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0

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.

22.11.2024 13:35 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
CoSnarks in Action at Devcon7 A blog about various topics in MPC, ZK and other privacy-preserving technologies, by TACEO.

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/

22.11.2024 13:35 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0
Preview
Enter Stage Left: Private Shared State A blog about various topics in MPC, ZK and other privacy-preserving technologies, by TACEO.

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

20.11.2024 14:30 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0