Modulus

zkFOL. Contracts written in logic, enforced by proof.

[Modulus @ModulusZK]

Coming soon…

https://t.co/MJk4QUABi4

[Modulus @ModulusZK]

Happy November the 5th to all those who celebrate 🎭

[Modulus @ModulusZK]

We think the EVM is doing too much work in ZK.

Modulus is exploring another route: express computation as logic and prove that directly.

zkFOL is already public: https://t.co/X0PsYQwujV

Working toward proofs that cost less and reveal less.

[Modulus @ModulusZK]

The EVM can run a lot of things. But do all things need to run through the EVM?

Worth asking.

[Zypher Network (ZDAO)💥 @Zypher_Network]

ZK Basics | Ep. 8: Why ZK proofs cost so much

Verifying a proof takes milliseconds. Creating one is the expensive part. Here's where the money goes:

1. The computation gets rewritten. Your program has to be turned into a form math can prove — a circuit. Nothing about this step is free.
2. Proving is heavy. Building the proof can take thousands of times more compute than just running the program normally.
3. Specialized hardware. Serious proving runs on GPUs and custom chips, which is why there's a whole industry around proving infrastructure.
4. It's dropping fast. Costs have fallen by orders of magnitude in a few years, which is exactly why ZK moved from papers to production.

The tradeoff: pay once to prove, let everyone verify cheaply forever.

Save this one💜

[Modulus @ModulusZK]

zkFOL

~20 lines stating sudoku rules. Solves 17-clue puzzle, proves & verifies it, from that statement alone

The same fib spec runs forwards & backwards off one witness

fib(10,000) ~10ms vs 3.69s-49.24s. 370x-4,930x

Prover memory <10MB vs 17GB. 1,700x

Do you feel in charge?

[Modulus @ModulusZK]

We’re pleased to report that @moduluszk's zkFOL tech stack is now public for review at https://t.co/Z4fEVjbS0q.  

The paper draft is also online at https://t.co/CKqxsrhlqZ

Our docs and website have been updated inline.

[Modulus @ModulusZK]

We’re pleased to report that @moduluszk's zkFOL tech stack is now public for review at https://t.co/Z4fEVjbS0q.  

The paper draft is also online at https://t.co/CKqxsrhlqZ

Our docs and website have been updated inline.

[Modulus @ModulusZK]

A permanent public record is a permanent public tool.

Attackers noticed.

[lostbutlucky @lostbutlucky]

Chainalysis: blockchains are becoming malware command-and-control infrastructure

Chainalysis documents “blockchain dead drops”: malware reads C2 pointers or encrypted instructions from transactions/contracts instead of relying on a takedown-able domain. One DPRK-linked implementation uses TRON and Aptos as redundant pointers to BSC, where encrypted instructions live

[Modulus @ModulusZK]

How our technology @moduluszk is different… in comic book form 🦸🦸‍♀️

[Modulus @ModulusZK]

A rhyming tale of logic old,
Of paths made straight, not bent or bold.

From Turing’s shelf to proofs anew!
A Christmas Gift from us, to you 💝

Merry Christmas from all the team @ModulusZK 🎄🎅

[Modulus @ModulusZK]

Who’s ready?

*hint* Nobody.

[Mr O’Moduluszk @MrOmodulus]

Modulus is being rebuilt as an L1. Contracts are first-order logic predicates, enforced with ZK proofs. No bytecode & no VM. This can solve every smart contract level exploit in existence.

Currently updating website, docs & deciding what we want to make public on GitHub.

[Modulus @ModulusZK]

The largest digital asset manager in the world literally said "transparent ledgers + AI = permanent financial surveillance" and you're still writing it off as anon babble?

[Grayscale @Grayscale]

Every wave of technological change brings new privacy risks. This time, AI is the threat. $ZEC is the response.

Wave 1: 1970s. Computers digitized records and automated financial systems.
Wave 2: 1990s. Rise of the internet brought concerns of online identities.
Wave 3: Today, AI can track financial activity at scale.

$ZEC shielded transactions were designed for exactly this. Read more: https://t.co/KgENEZ4fFG

[Modulus @ModulusZK]

@CarltonBags @MrOmodulus We’re gunna ✍🏼

[Modulus @ModulusZK]

On every other chain, a broken contract pays the attacker. On @Moduluszk, a broken contract refuses to act.

A mistake becomes a delay, never a loss.

That single sentence, is why the whole blockchain world, has been waiting on this.

[Mr O’Moduluszk @MrOmodulus]

The great hacks of this industry all lived in one place.

The gap between what a contract promised & what its code did.

This update, we publish that gap’s deletion. On @ModulusZK, the rule you read is the rule the chain enforces. A transaction that can’t be proved never happens.

[Modulus @ModulusZK]

@CryptodousX

[Modulus @ModulusZK]

When a protocol is hacked, you tend to see blame placed on either:

A) The team
Or
B) The auditors

Nobody ever asks “should the coding language itself, allow for so many unforced errors?

[Modulus @ModulusZK]

Same constraint applies to everyone else.

If the base layer broadcasts every move, serious capital will not use it for anything that matters.

Privacy is not a feature request.

It's a requirement for the system to function.

[0xMadness @ztipme]

Central banks cannot run modern monetary policy on a fully transparent ledger. Every large transfer, reserve movement, or intervention becomes visible to rivals in real time. Adversaries can front-run, counter, or weaponize that information. Privacy is a strategic necessity.

[Modulus @ModulusZK]

They say don’t trust, verify. This couldn’t be more true when it comes to AI.

We’re happy to see this integration 🤝

[Totem Token @OFFTotemToken]

Ownership and accountability matter.

The work has begun to integrate a @ModulusZK verification protocol into Totem LLM to prove that a text, image or video has been created by a specific Totem instance.

Much more to come. Just getting started.

[Mr O’Moduluszk @MrOmodulus]

Creative Destruction is coming.

[Modulus @ModulusZK]

Support is active duty.

First you read.

Then you use that knowledge as a weapon.

You find the holes in flawed narratives and you hammer them relentlessly in public.

You take point and clear the landing zone.

[Mr O’Moduluszk @MrOmodulus]

It's crazy seeing "a community" come out to offer support & give pats on the back when a project shuts down. As a founder, I'd be thinking "where were you when I needed you most?"

Support the projects you "claim" to love when they still exist & maybe... they won't shut down?