ctrlc03.eth @ctrlc03

github.com/ctrlc03 Joined September 2017

Tweets

678
Followers

1K
Following

2K
Likes

4K

The Interfold @theInterfold

49 minutes ago

What happens when a vote leaves a receipt? Our latest Multiplayer Privacy recap covers receipt-free voting, coercion resistance, MACI, and the trap of accountability. With @VitalikButerin @llamaonthebrink and @auryn_macmillan blog.theinterfold.com/the-accountabi…

1 4 19 322 7

View Details

The Interfold @theInterfold

3 weeks ago

A red-eye fireside chat on X. @VitalikButerin @llamaonthebrink (@Trueo_) @auryn_macmillan (Interfold) What happens when a voter can be forced to prove their vote? X Space: The Accountability Trap Mon, June 22 · 04:45 UTC / 12:45 AM ET / 6:45 AM CEST Set a reminder ↓

27 42 369 2.5M 50

View Details

Auryn @auryn_macmillan

4 weeks ago

If you're currently (or thinking about) using @AragonProject and are interesting in private, receipt-free voting. I want to talk with you! DMs open here and on TG.

2 7 34 2K 0

View Details

The Interfold @theInterfold

a month ago

The next phase is controlled external onboarding, beginning with selected infrastructure participants. Interested in running a ciphernode? Apply for the genesis operator set: tally.so/r/meJPjo

2 3 10 276 1

View Details

ctrlc03.eth @ctrlc03

a month ago

@auryn_macmillan @llamaonthebrink @VitalikButerin WIP 🚧

1 0 3 26 0

View Details

Auryn @auryn_macmillan

a month ago

Fun fact, the idea for The Interfold was born out of my unease of being the MACI coordinator for several @clrfund rounds. MACI's privacy guarantees relay on an honest coordinator assumption. MACI is essentially private voting in a ZK circuit. But in ZK, one must know the data one is making proof about. A compromised coordinator can reveal any inputs because the coordinator must see all of the inputs to generate a proof of their tally. For those clrfund rounds, I knew that I was not compromised. But would always ask myself "why should anyone else trust me to secure their privacy?", "how can the be confident that I'm not compromised?". The natural step was to attempt distribute coordinator trust as broadly as possible, without compromising on the other fundamental guarantees that make MACI interesting. This lead us to the combination of ZKPs, FHE, and MPC (threshold cryptography). The real light-bulb moment was when we realized that voting was just one of a whole class of similar problems; where private inputs from many parties are aggregated to produce some public output. This is what ultimately lead us to build @theInterfold.

vitalik.eth @VitalikButerin

a month ago

243 153 1K 204K 274

1 7 44 2K 4

View Details

vitalik.eth @VitalikButerin

a month ago

More people should know about the Interfold. It's basically what I've been yelling at people to build with the MACI ideas ( ethresear.ch/t/minimal-anti… ) for almost a decade, and now it exists, in a generalized form. The idea is: a privacy protocol optimized for things like voting (and other use cases eg. secret-ballot auctions). The mechanism generates a threshold encryption key, and people send in their votes onchain, using a ZKP to prove eligibility. An arbitrary computation on the votes gets run inside FHE, and then threshold-decrypted. From what I can tell (the docs are good docs.theinterfold.com/CRISP/introduc… ), it gets pretty optimal security guarantees: * Voter anonymity can be made unconditional if eligibility is proven with ZK-SNARKs * Censorship resistance is guaranteed by ethereum (votes can be posted directly onchain, and there's a proof that all posted votes are taking into account) * The correctness of the outputted result can be ensured via ZK over FHE * Liveness and coercion resistance depend on M-of-N honesty; unavoidable given present-day technology The main limitation is that today "ZK over FHE" is only properly available for additive vote tallying, as it's too expensive for computations that involve multiplication or other more complicated manipulation at the moment. There's work in progress on slashing-based / optimistic computation for such situations. (And of course ideally in the long term we'd figure out obfuscation so you can get rid of the M-of-N committees😃)

The Interfold @theInterfold

2 months ago

The Interfold Launch Primer starts today. Over the next several weeks, we'll explain the system, the network, ciphernodes, and the path to participation. First: How Interfold works, from private inputs to collective outcomes.

6 22 130 170K 44

243 153 1K 204K 274

View Details

Shashank Trivedi @0xlord_forever

3 months ago

Satoshi owns 1.1 million bitcoin. He hasn't said a word in over 15 years. On @ethereum, you won't have to disappear. Introducing GhostBalance - speak freely, backed by your $ETH, without ever showing your wallet. Let your balance speak. Your identity stays private. 🧵👇

5 6 44 2K 9

View Details

The Interfold @theInterfold

3 months ago

New from the Interfold Cryptography series: How do you make a multiparty cryptographic system publicly verifiable, from distributed key generation through final decryption?

6 6 15 1K 4

View Details

The Interfold @theInterfold

3 months ago

A secret ballot is not secret if voting behavior is still provable. Encryption can hide the vote. But it can't remove the receipt.

1 3 14 662 5

View Details

The Interfold @theInterfold

4 months ago

Private voting fails if you can still prove your choice. The Interfold uses vote masking to break that proof. Read the technical deep-dive on vote masking and receipt-freeness by @ctrlc03 ↓

1 5 19 773 4

View Details

The Interfold @theInterfold

4 months ago

Catch up on what’s new in our latest community update! From protocol progress to ecosystem growth, we’re building toward a future of verifiable, privacy-preserving computation. blog.theinterfold.com/interfold-comm…

0 3 10 292 0

View Details

The Interfold @theInterfold

4 months ago

Enclave is now The Interfold. What we built isn’t a hardware enclave, but a distributed network for confidential coordination. The Interfold names that network. 🌐

1 14 41 4K 11

View Details

The Interfold @theInterfold

6 months ago

Enclave’s first community update is live. We’re advancing toward our public testnet, making progress on PVSS, and exploring exciting ecosystem use cases such as confidential voting in DAOs.

1 3 17 867 3

View Details

Zodiac @zodiaceco

6 months ago

Today, we introduce Zodiac as an OS for onchain operations. Bringing together years of Safe-native work into a single system, Zodiac gives teams programmable control over permissions, execution, and automation. Zodiac launches with access limited to early teams.

11 13 59 6K 7

View Details

David Ernst @dsernst

7 months ago

As far as I know, the election we just ran is the first time an American elected office has been decided in a majority-digital vote, open to all registered voters, despite party affiliation. Results were just announced: utahnewsdispatch.com/2025/12/12/uta… Interesting highlights ⬇️

3 17 55 27K 6

View Details

Auryn @auryn_macmillan

7 months ago

One of the most fascinating hypothetical use-cases I've seen for @EnclaveE3 is in satellite collision avoidance. Many different entities have things in orbit, many other want to put more things in orbit, none want to disclose their trajectories. How to ensure new space stuff doesn't collide with esisting things in orbit? This is a great example of where mutually distrusting parties can aggregate information to their mutual benefit. Each party provides their current or proposed trajectory as encrypted input, output is some likelihood of collision. No trajectories are revealed. 🤯

2 3 30 1K 1

View Details

The Interfold @theInterfold

7 months ago

New post: the first entry in our Enclave Cryptography series. It examines a core issue in hybrid FHE–ZK systems: how to prove that a ciphertext actually encrypts the value referenced in a ZK witness.