Modulo-p

[Modulo-p @modp_]

@ChileStakepo @imagine Ta cuatico :0

[Modulo-p @modp_]

It has been a great journey, thanks @Cardano for the invitation!

[Cardano @Cardano]

Zero-knowledge cryptography is live on Cardano.

In this Developers Office Hour, Agustín Salinas (@modp_) details the journey of building ZK tooling on-chain, utilizing Plutus V3, and implementing the recent Powers of Tau (PTAU) trusted setup ceremony for secure, low-overhead Groth16 and Plonk validation.

Full session video below. 👇

[Modulo-p @modp_]

@MinswapIntern @IOHK_Charles We have a good first approach of this already ;)

https://t.co/ItFylMYDhp

[Modulo-p @modp_]

@IOHK_Charles @amw7 @phil_uplc @WelfBrandolf Hola! Yes, we did the Cardano ppot ceremony last year with 40 members of the community, here are the results:

https://t.co/ItFylMYDhp

Also brebaje, our application to coordinate the second phase MPC, is about to launch soon

[Darlisa GC @DarlisaGC]

🚀 Zero-Knowledge on Cardano: The Journey to PTAU

Join @modp_ to explore Modulo-P's journey building ZK tooling on Cardano and the path to the PTAU ceremony.

📅 Fri, 10 July
🕑 14:00 UTC
🔗 https://t.co/wqjf7PeKW5

[Dave @ItsDave_ADA]

Self Disclosure Privacy using ZK Proofs, Demonstrated & Executed Directly on Cardano Preview

I built a demo where a customer buys a beer and proves they are 18 or over, without ever showing their ID. No name. No birth year. No photo. Just maths.

Two beers were ordered. Two separate transactions. The same proof, reused, no re-verification needed. The blockchain recorded "age verified" both times. That's all it knows. No name. No address. No date of birth. No photo. No personal data of any kind.

This runs entirely and directly on Cardano. No sidechains. No L2s. No off-chain verification. The ZK proof is checked by the Plutus V3 validator itself, on-chain, using Groth16.

And this isn't just for bars, it works for shops, website signups, any age-restricted service. One credential, reused anywhere. Self disclosure means you choose what to share, and in this case, the customer chose to share nothing except "yes, I'm old enough, give me a nice cold beer." 🍺

Massive shout out to everybody involved in the below!
Aiken smart contract language on Cardano (please don't judge my Aiken... I know it's bad 😂)
ak-381 by Modulo-P, Groth16 SNARK verification library for BLS12-381 on Aiken
Circom + snarkjs, ZK circuit design and proof generation
MeshSDK, transaction building and wallet management
Blockfrost, blockchain data provider

A basic demo to set the stage for further privacy enhancements that can occur directly on Cardano.

Self disclosure privacy on Cardano

Cheers Cardano 🍻🍻

Beer 1
https://t.co/zpFptDC3Cf

Beer 2
https://t.co/kaX43k3ijV

[Modulo-p @modp_]

@ItsDave_ADA That's amazing, great work! 🙌

[Modulo-p @modp_]

@IOHK_Charles yes!

[Modulo-p @modp_]

That's awesome!

[Local DAO Agents @CoperativaLocal]

🏳 Documentary: The world’s first decentralized Electronic Music Festival was produced by a DAO on @Cardano using @Clarity_DAO with 1K governance actions 🔊 Hear their testimonies and consider our 2 Catalyst Fund14 Proposals to viralize 6 replicable Cardano DAO use-case models 🏁

[Modulo-p @modp_]

@eryxcoop @ENCOINS1 Awesome work🙌

[Modulo-p @modp_]

It was exciting working with these amazing teams!

[ENCOINS @ENCOINS1]

A great experience working with @eryxcoop and @modp_

Cardano will massively improve with more ZK capabilities!!

[Anastasia Labs @AnastasiaLabs]

Midgard L2 Demo @buidler_fest https://t.co/HwEWqvJBBZ

[bora @boraonchain]

Got to showcase the @midgardprotocol PoC demo publicly coming to life for the first time in front of Cardano devs at @buidler_fest today — first sparks of a beautiful machine. It’s alive! 👾

[Modulo-p @modp_]

@0xQuantive @midgardprotocol @buidler_fest @AnastasiaLabs @SwiftlyUnmoving Bora, you're the best! Great presentation!

[Modulo-p @modp_]

Proposing a vision for privacy in Cardano

[ENCOINS @ENCOINS1]

Privacy isn’t optional — it’s foundational.

Check out the presentation of Cardano Privacy Layer by Agustin Salinas. @modp_ 🔐🔐

[Modulo-p @modp_]

@eryxcoop Los mejores <3

[ENCOINS @ENCOINS1]

Support Privacy

✅Privacy is a right that allows users to control their data and fosters a censorship-resilient network.

✅Privacy-focused protocols across the crypto ecosystem represent over $8B in market cap—roughly one-third of Cardano's own. And overall, is a huge ecosystem with many developers and users.

✅Ethereum has a privacy roadmap, supported by the Ethereum Foundation and Vitalik Buterin. In contrast, Cardano currently holds a weak position in the privacy space.

¿How to bring more privacy capabilities to Cardano?

General privacy protocol: Development of base protocol that has multiple applications such as voting, private identity verification and mixing.
A Descentralized Relay Network: Development of a network of relays that ensure user anonymity.

How will this benefit Cardano?

✅ Strengthen Cardano as a more privacy platform.
✅ Increase the Cardano ecosystem growth.
Makes Cardano attractive for ZK developers (~2000/month according to https://t.co/YdpbVUQJra) and users that require privacy.
✅ It will inject liquidity into the Cardano ecosystem.
Attracts privacy-seeking capital (~$8B+) and potential institutional flows.
✅ Privacy is a Core Crypto Value

Together with @modp_ we have the experience to Make Cardano Cypherpunk Again.

[Modulo-p @modp_]

@ENCOINS1 Fuck yeah!

[Modulo-p @modp_]

🙌🙌🙌

[Eryx @eryxcoop]

What did we achieve in Milestone 1?
🔹 Conducted in-depth research
🔹 Defined the system’s design
🔹 Wrote a preliminary specification for implementation
Read our findings here:
https://t.co/CuTV29CQxd

[Modulo-p @modp_]

@wormyking Hi @wormyking , we’ve been trying to reach you to send your rewards. Please send us a direct message so we can provide further instructions.

[Modulo-p @modp_]

Attention Cardano fam!

Important event! 🔥🔥🔥

We are looking for contributors for the Phase-2 setup ceremony of our Cardano Semaphore port. The ceremony will take place from November 18th to December 4th. There will be rewards for 100 contributors, each receiving 100 ADA.

What is a trusted setup ceremony?

A trusted setup ceremony is a multi-party computation process required to derive the public keys used to construct Zero-Knowledge proofs. The derivation of these keys is crucial for generating valid proofs securely. Therefore, we will conduct this ceremony to generate the keys for the first release of our port.

How does the ceremony work?

The ceremony involves a sequence of random contributions that together serve as secret inputs for the derivation of the keys. Each participant contributes a secret random input to the process, and the ceremony is considered safe if at least one participant discards their secret contribution. In practice, contributing will consist in downloading a cli-program and type a random array of characters in a creative manner. As you will notice is very easy to contribute.

You can participate by joining the ZkHub Discord channel, in this link you will find a channel with instructions to participate:

https://t.co/4IzAFV0SPU

Lastly, we deeply appreciate all the support from the Cardano community! If you like our work, consider taking a look at our recent proposal for the upcoming Catalyst round:

https://t.co/1051DD77jz

Greets!!! 🫰

Modulo-p team