ais
aisconnolly.bsky.social
ais
@aisconnolly.bsky.social
Privacy, MPC, and coSNARKs at TACEO
Surpising that even in ZK circles, MPC is still considered ‘just threshold signing.’ Big miss.
MPC allows full computation on encrypted data eg for private defi or agents w/o exposing inputs. It’s makes ZK collaborative and goes far beyond what we know from wallets. Thoughts?
October 3, 2025 at 6:04 PM
Reposted by ais
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.
March 19, 2025 at 1:25 PM
I think it shows, but I really enjoyed the @zkhack.dev meetup in Denver
March 6, 2025 at 12:24 PM
Reposted by ais
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 🔥
We're back with a 𝐙𝐊 𝐇𝐚𝐜𝐤 𝐌𝐞𝐞𝐭𝐮𝐩, this time in Denver on Feb 24th!

Join us to talk ZK with other cryptography enthusiasts from 6 tp 10PM, and hear from our amazing partners NovaNet, Ligero, @taceo.bsky.social & @o1labs.bsky.social

See you there (link below)...
February 12, 2025 at 12:06 PM
Reposted by ais
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
Multiparty Notaries for zkTLS
A blog about various topics in MPC, ZK and other privacy-preserving technologies, by TACEO.
blog.taceo.io
February 7, 2025 at 8:58 PM
Reposted by ais
How to Prove False Statements: Practical Attacks on Fiat-Shamir (Dmitry Khovratovich, Ron D. Rothblum, Lev Soukhanov) ia.cr/2025/118
January 27, 2025 at 1:59 AM
Reposted by ais
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...
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...
cfp.ducttape.events
January 22, 2025 at 7:02 PM
Only a few days left to nominate for @web3privacy awards! Support privacy tech and share your favorite projects.
Need ideas? Check @fileverse: portal.fileverse.io/#/0xe141365...

Info for nominating: awards.web3privacy.info/
December 23, 2024 at 11:00 AM
Reposted by ais
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/
TACEO 2024: Coffee, Code, and CoSNARKs
A blog about various topics in MPC, ZK and other privacy-preserving technologies, by TACEO.
blog.taceo.io
December 22, 2024 at 9:45 AM
Reposted by ais
The Ethereum Foundation is running a cryptanalysis project focusing on Poseidon, with grants and bounties up for grabs!
www.poseidon-initiative.info
Poseidon Cryptanalysis
Scrutinizing Poseidon for Good
www.poseidon-initiative.info
November 28, 2024 at 1:31 PM
Reposted by ais
✅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...
Major update to coNoir (November 2024) | TACEO coSNARKs
Summary
docs.taceo.io
December 5, 2024 at 2:27 PM
Reposted by ais
If you’re curious about the design and analysis of encrypted algorithms and encrypted databases, I’m putting together a collection of resources at encryptedsystems.org
EncryptedSystems.org
encryptedsystems.org
December 3, 2024 at 4:02 PM
Reposted by ais
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.
November 26, 2024 at 5:23 PM
Reposted by ais
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/
CoSnarks in Action at Devcon7
A blog about various topics in MPC, ZK and other privacy-preserving technologies, by TACEO.
blog.taceo.io
November 22, 2024 at 1:35 PM
Last week at Devcon, I exhibited as part of Cursive's Cryptographic Connections museum. Inspired by the experience of generating coSNARKs on the Alphanet, I wanted to showcase the history of MPC, tracing the development of coSNARKs and TACEO tooling from their beginnings.
November 20, 2024 at 2:03 PM
Hello and thank you for having me.
November 18, 2024 at 10:02 AM