The World’s First Layer X Blockchain | Simplified ZK
- Tweets 282
- Following 45
- Followers 5,893
- Likes 398
Modulus Testnet is here! 🎉
It's been a long time coming but we have finally deployed our public testnet build v0.9.
You can find all the information in the Medium here:
wearecultdao.medium.com/modu…
And our updated docs here:
docs.moduluszk.io/
109
284
594
159,245
We've completed the first iteration of our Modulus documentation.
This will be an evolving knowledge base where we will bring updates, insights, and new information from the ongoing development of Modulus.
docs.moduluszk.io/
58
241
434
60,762
We heard you wanted an update on #Modulus?
Here's what we've been working on lately.
1. Bridge
As the doorway to the Modulus network, it's important to us that the bridge looks professional and has an easy to use, intuitive UI. And of course, what's better than dark mode?
67
193
468
95,768
99% finished with testing with no major issues.
Highly likely to begin deployment of the public testnet tomorrow or the day after.
Modulus Update:
Final version of v0.9 testnet was deployed to our development server yesterday, and integrated with the explorer and the bridge.
Once some end-to-end testing is finished, the same build will be deployed to the public server for everyone to access.
72
195
416
56,108
Modulus Update:
Final version of v0.9 testnet was deployed to our development server yesterday, and integrated with the explorer and the bridge.
Once some end-to-end testing is finished, the same build will be deployed to the public server for everyone to access.
56
181
412
87,263
Modulus Testnet Update.
Previously we had given a tentative live launch of June, however we are now looking at a July release.
We've experienced issues with adapting and deploying the Prover contract...
46
107
335
63,489
Deployment began yesterday. We had a few issues lining up the bridge and explorer but they’re all sorted now.
We’re expecting to share all the details and open Modulus Testnet up publicly on Monday or Tuesday.
47
130
334
30,803
Modulus Update 🩸
We are currently working on finalizing and deploying our zkProver contract ahead of the genesis block on the public testnet.
A zkProver is the centre of ZK tech, allowing for low-cost proof and quick execution.
36
147
331
52,420
ZK is taking over.
It has started and will continue to disrupt a ton of industries.
Let's explore... 🩸🧵
27
152
311
29,742
Welcome to 2024.
We appreciate it has been a while since we have shared any sizeable updates, and there is no reasoning for this other than there hasn't been sizeable updates.
We would like to share that we plan to release our next phase of Modulus Testnet this quarter.
⬇️
28
98
278
41,428
Seeing a lot of #BuildAndBurn hashtags out there.
Who’s building on #modulus?
32
75
239
23,871
We’re building the world’s first Layer X blockchain. Simplified ZK.
Alerts on 🚨🔗
Medium dropping next week.
23
131
286
37,596
The eagle-eyed among you may have spotted the new Projects section on moduluszk.io 👀
If you're starting to #BuildOnModulus and want to feature, just submit your info in the form below 👇
shorturl.at/kopSV
26
109
238
29,830
Long overdue but short development update.
9 of our 12 mainnet deployment tasks are complete, with just the bridging services remaining to deploy ahead of the live launch.
We anticipate these being deployed and tested within the next two weeks before we get an audit underway.
29
96
252
16,382
You won't have to wait too long for another update, we have some more Modulus content dropping later this week 🤫
Now, let's #BuildandBurn
11
46
222
11,318
Developer documentation should land next week.
@ModulusZK gets closer and closer.
Right now we have the testnet up and hosted on remote servers.
Work has already started on integrating it with the bridge and Modulus Eye explorer front ends.
After a short but intensive internal testing period, it’s ready to go public.
15
85
220
21,935
Privacy coins you say?
How about privacy chains that allow you to opt in/out of privacy with significantly higher scalability?
Also without sacrificing security ;)
There are 400,000 pending transactions on the bitcoin network and binance halted transactions due to the congestion and high fees
I’ve been warning people of this for months and the righteous bitcoin maxis have kept their mouths shut because they can’t admit bitcoin has any flaws
I always tell the truth.. Bitcoin has an exploit and it needs to be fixed asap
people are uploading useless data to the blockchain which is making it slow and expensive
someone uploaded 10,000 pictures of monkeys to the blockchain which bloated nodes by 1.4 gigabytes!
That’s just one nft collection!
this community is supposed to be strong enough to handle quantum attacks, but watching it be defenceless to jpegs is embarrassing
maybe some centralization is good, because this is an obvious problem that should have been fixed by now
hoping the nodes and miners come together to solve this but I fear greed has already gotten in the way
this demand may be good for price in the short term, but it simply does not scale. People will leave the network because it is inefficient for both money and for NFT’s
I’m researching privacy coins in the meantime since you can’t track each coin to do stupid stuff like this
18
84
203
21,072
There is a world of difference between pushing testnet, and going live on mainnet with the community's real funds. We have seen successful network launches, and others not so much. Lessons can be learned from both.
That being said, here's to a big year for the $CULT ecosystem 🥂
9
30
210
9,940
This morning we pushed a small Prover update to the live testnet to fix a bug with internal transactions displaying in the explorer.
We are currently working on another issue with contract verification through hardhat.
25
46
203
12,625
No chain has our community, our passion, or our technical expertise.
No chain in our competition has 0 private investors to please over users.
@Moduluszk:
Owned by the Many
Ran by the Many
Supported by the Many
Attracted world class scientists… who want to work with… the Many
23
94
233
7,833
2. Modulus Eye
Modulus Eye is our answer to Etherscan. All the usual goods, but because this is $CULT, we had to include a fat burn counter on the landing page.
Here's dark mode again.
10
48
188
10,436
Help us improve #Modulus 🩸
Now that our Testnet has been released for a few weeks, we'd love to hear your feedback.
We have created a short form at the bottom of our website. Help us create the best chain in crypto.
Take 2 minutes: moduluszk.io
14
87
191
35,861
We’re hiring! We’re looking for people to fill the following roles @ModulusZK:
Advanced Mathematician/cryptographer (Masters+ in related field or published author)
Business Developers & BD Lead
Web developer
Feel free to send us a DM!
22
91
222
9,382
Building on #modulus?
Fill out the below form to apply to be listed on moduluszk.io in the upcoming Modulus Dapps list section of the website 👇
shorturl.at/opCOU
#BuildAndBurn #BuildOnModulus
15
73
177
32,905
If you are a market maker, liquidity provider, venture capitalist, dapp, or anybody wanting to #buildonmodulus. Then please send us @ModulusZK or @wearecultdao a DM.
20
103
214
10,591
As promised, we've endeavoured to bring further updates in a more timely fashion than before.
It's not a huge update this time, just a informational one to give everyone an idea of where we are at with Modulus.
👇
37
84
205
23,704
wen...
Now thats over with, let's talk ModulusZK.
We've been quiet on this account, and perhaps that isn't everyone's preferred way of us doing this. (Despite @Artorias_eth being readily available on most platforms at most times of day to answer and talk about it.)
Anyway.
26
68
193
17,923
Introducing 🥁
Layer X by @ModulusZK.
Link to the article, in our immediate reply below 🔗👇🏼
We’re building the world’s first Layer X blockchain. Simplified ZK.
Alerts on 🚨🔗
Medium dropping next week.
22
103
215
20,627
Compiling smart contracts to polynomials via a First Order Logic (FOL) based backend, instead of to RISC-V is expected to be both more efficient and more accurate.
Here’s why @drakefjustin @tkstanczak @VitalikButerin @ethereumJoseph @TMIYChao @EliBenSasson @gluk64
🧵
13
80
209
29,125
Stoked to welcome @waverlymaven as Developer Relations advisor. (DevRel)
OG @EthereumDenver @MetaWebVC @NEARProtocol @infura_io & @Consensys
Dani spots whats next & ships what matters.
@ModulusZK needs taste & she’s got it.
38
75
200
13,724
Did you know that the public goods that created @ModulusZK, Cult DAO & Revolt 2 Earn have donated almost $52,000 in $ETH between them to support the legal battles of @rstormsf & @TornadoCash?
The first in September of 2022 & recently again on July 4th of this year.
9
66
199
14,970
Yes it's true. We've made significant progress in our efforts to build our zkEVM with fully working zkProver and custom gas token.
You may be asking, what is the hold up?
Well it's not as simple as having hurdled a roadblock and then simply release it. 👇
16
68
182
26,692
Introducing the $MOD token: Novel Functions for Novel Tech
moduluszk.medium.com/mod-605…
32
86
190
36,681
Our semantic preservation technology @ModulusZK aims to solve a critical problem for institutions.
It maintains, the exact mathematical meaning of their rigorously tested business logic throughout the entire compilation process.
From specification to cryptographic proof.
9
66
185
6,684
We're pleased to welcome @MzkAdam121 as Chief Business Development Officer @ModulusZK!
Working in blockchain since 2014, Adam brings deep experience from Cudos & Secret Network ( $CUDOS/ $SCRT)
His proven track record will be instrumental in driving TVL & scaling Modulus. 🔗👇🏼
33
74
188
9,065
At @ModulusZK, we’re compiling smart contracts to polynomials via a First Order Logic (FOL) based backend, instead of to RISC-V.
This is expected to be both more efficient and more accurate.
Here’s why 🧵👇🏼
9
84
183
8,327
We’re hiring for our @ethereum ZK L2!
We’re looking for people to fill the following roles @ModulusZK:
Advanced Mathematician/cryptographer (Masters+ in related field or published author)
Business Developers & BD Lead
Web developer
Feel free to send us a DM!
17
70
181
13,103
Deployment and integration of the explorer and bridge on public server is expected to take 2 or 3 days.
7
32
161
7,544
We view AI as humanity's attempt to replicate natural systems in digital form.
Just as the human eye is an intermediary between external reality & the nervous system, @ModulusZK is building the essential interface between real-world AI operations & on-chain verification systems.
11
62
178
11,842
Both these dapps are in the process of being built as we speak, the above are the final designs.
We have an operational light mode version of the explorer that we've hooked up to Polygon for testing, but it's not quite fully fleshed out to the above spec just yet.
2
22
148
7,896
While most zkEVMs focus on building variations of the same, we stand for a radical rethinking.
The kind that's only possible with a strong community by your side. Our story so far:
medium.com/p/modulus-story-t…
11
75
175
13,982
“What I’m hoping to do is contribute a level of mathematical elegance that I don’t… see in the space... elegance counts. When you get it right it leads to a simpler system...
It’s elegance in service of making something, smaller, faster, and better.
Than anybody else.”
Listen to Dr @jamiegabbay’s answer, when asked by a @wearecultdao member;
“There’s plenty of ZKs that have come about… I’m curious your thoughts of ones you admire… relative to what we’re trying to build here (@ModulusZK) & how you would differ, what we’re doing?”.
… chills.
6
73
165
6,174
With Modulus, we're fundamentally re-imagining what crypto architecture could look like. Complexity was never the point. Simplicity is.
@jilliangodsil unpacks how we got here.
blockleaders.io/getting-lost…
12
72
167
11,333
Hey @VivekVentures @tkstanczak does @Etherealize_io or @ethereum want to do a spaces with @jamiegabbay?
We want to run through @ModulusZK’s arithmatisation of computation via polynomial semantics for first-order logic with some giga brain chads 🧠
eprint.iacr.org/2024/954.pdf
23
60
168
6,485
What if you could get a server dedicated to helping you get started on the Modulus Testnet?
That's what @TaironAI's integration enables. As an Oracle Layer for AI, Tairon provides devs with a unified interface to test, track, and monitor data on Modulus with minimal overhead.
Don’t just take our word for it. Try it: github.com/Tairon-ai/modulus…
Integration #110
Tairon now supports @ModulusZK, a high-performance zkEVM testnet, through the MCP server.
The Modulus MCP Server provides developers with seamless blockchain access and testing capabilities, including:
▫️ Native ETH and ERC20 token operations
▫️ Real-time transaction tracking and gas optimization
▫️ Token creation, minting, and multi-balance queries
▫️ Faucet integration for CULT, RVLT, and TRG test tokens
▫️ Direct explorer links for transactions, addresses, and contracts
Through this integration, developers can interact with Modulus’ zkEVM environment directly through the MCP, enabling faster testing, token simulation, and network monitoring.
The Supergraph expands further into zero-knowledge ecosystems, bringing zkEVM testnet data and execution into the Oracle Layer for Web3.
github.com/Tairon-ai/modulus…
11
66
168
12,326
The zkProver is where the batched transactions are validated, aggregated, and posted back to the Ethereum L1.
It essentially is the mechanism that checks if a value is true or not, while not revealing any information to the user.
More updates soon.
#BuildnBurn #BuildonModulus
7
22
143
5,419
We are aiming for that testnet update to be the build that will be the same one pushed to mainnet.
As always dates are flexible. It is a marathon not a sprint and we will not rush for meaningless dates if it means risking the network not being ready.
⬇️
1
18
138
17,526
As we've mentioned before, this is an ongoing testnet development. We are not currently at the stage of a "mainnet ready" build.
Over time we will continue to make improvements and refinements before we begin the stage of auditing and preparing for mainnet deployment.
3
15
142
8,351
🔟 Follow us for more threads exploring the different technical aspects of zero knowledge blockchains and how they will be used to enhance privacy and security in the digital age.
Modulus Network - a zkEVM - Launching SOON!
7
31
138
9,670
We plan to make Modulus the leading zkEVM by making privacy and functionality our priority.
🩸 Cheaper and faster txns
🩸 More scalability
🩸 Optional privacy
🩸 Maintained security
1
37
136
6,669
We've always stood with the many, the unseen, the ones who quietly build and push this industry forward.
If you're one of those silent heros, we see you and we want to reward you.
All you need to know: markets.businessinsider.com/…
36
66
162
10,402
Thank you for the great question @EliBenSasson!
"Which language will folks program in".
As you know, polynomial circuits are used to *verify*. Cairo obscures this distinction in order to present one particular programming metaphor to the user (the Cairo VM), which is fine, but many programming paradigms are possible and in any case what matters is not what gets coded but what gets verified.
For instance: functions can be specified directly in (first-order) logic. Section 3 of the paper shows how, and in particular it presents a selection of functions, including general recursive functions, within Gabbay's framework. In the paper as written this is a theoretical definition aimed at theoreticians, and accordingly Gabbay uses rationals instead of finite fields -- but it's quite clear that similar principles would apply over a finite field. It's not an essential distinction.
One special case is relevant: it's clear from Gabbay's paper that validity of derivation-trees can be specified using this framework - e.g. the specification of derivation-trees for SK combinator reduction, which is interesting in itself and because it is paradigmatic for many other such definitions. Inductive definitions are a sufficient and convenient basis for declarative programming. So if we do want to present a programming abstraction to the user, that's one straightforward, mathematically principled way to do it, that involves minimal overhead. There are others.
While the above is not in itself a mathematical proof, I hope this gives a flavour of an answer to the question.
11
34
154
9,325
As we've said before, we don't like to give timelines so for anyone who took the time to read this far, apologies, we aren't giving you any dates yet.
However we are just another step closer to completion, and announcement of the next phase of Modulus and $CULT.
2
21
144
3,824
Our CTO @ModulusZK sends his regards
Your points about practicality are absolutely valid and are acknowledged in the paper itself. Next steps are to design practical schemes, of course.
The comment "Polynomial degree grows exponentially with disjunction depth, as each OR operation multiplies degrees", while technically true, can be argued because 1. just try not to nest disjunctions -- there are known ways to avoid this -- and 2. compiling phi is a fixed expense which does not depend on the size of the witness, and finally 3. we should in any case be able to hand over selected primitives for (you mention SHA-256) to optimised circuits.
As for every design challenge, the task is to systematically address the bottlenecks to practical implementation.
16
28
144
3,938
Your commentary on this would be welcomed 🙏
This tech should be both more efficient & scalable, than VM or RISC-V.
@LefterisJP @_weidai @nico_mnbl @gakonst @eladgil @HarryStebbings @indievc @ganeumann @aileenlee @naval @jason @pet3rpan_ @matthuang @hosseeb @pmarca @bhorowitz
Compiling smart contracts to polynomials via a First Order Logic (FOL) based backend, instead of to RISC-V is expected to be both more efficient and more accurate.
Here’s why @drakefjustin @tkstanczak @VitalikButerin @ethereumJoseph @TMIYChao @EliBenSasson @gluk64
🧵
10
49
146
5,187
The Isle of Man's democracy is rooted in Viking assemblies where free men gathered to make laws. This ancient tradition of self-governance remains embedded in Manx culture. Grateful to speak with Sam Dorrer @DigitalIOM today about @ModulusZK & making the IOM, a leader in privacy.
10
40
144
7,548
9/ ZK blockchains are the future and those within $CULT know this.
It is our job now to spread the word. Modulus is coming.
For anyone new to Modulus or @wearecultdao, join the discord, explore the website, and most importantly, talk to the community.
6
37
125
5,995
...our official Modulus Mainnet.
We are thankful as ever for the ongoing support of the community.
5
126
4,263
Are you ready to be a part of cryptographies history, @ModulusZK?
We're looking for individuals to join our team @ModulusZK to change Zero Knowledge forever, by demonstrating this novel method as a proof of concept in front of @VitalikButerin & the all the mentors @web3privacy.
This is your invitation to change the world.
12
39
139
4,372
The best way to understand what we're building is to understand the current way of doing things.
zkVMs are the default solution. But that doesn't mean they're the only option.
How they function, and what math's got to do with it: moduluszk.medium.com/unpacki…
9
71
142
14,777
We’re please to welcome @Naomi_fromhh to @Moduluszk as littérateur 📕🧐
Link below 🔗👇🏼
28
46
136
16,891
That’s my quant.
Excited to share our latest work with Jamie Gabbay (gabbay.org.uk/): A Declarative Approach to Specifying Distributed Algorithms Using Three-Valued Modal Logic!
arxiv.org/abs/2502.00892
6
39
133
3,849
Everyone is obsessed with optimizing zk proofs.
We're rethinking what even goes in the proof.
7
40
129
5,286
There must be extensive testing on all aspects to make sure that the progress and updates we've made are compatible with everything else we've built.
You open a door on one side, you don't know what waits on the other side.
Will it be the holy grail or a corridor? 👇
2
14
97
4,861
Due to the influx of DMs, most legitimate, some sus. We have taken the decision that, alongside your CV & skills, please also include within the first line of your DM;
“Kim Jong Un would lose a fight with a goldfish.”
Extra points for creativity in your “Kim Jong Un-sults”!
We’re hiring for our @ethereum ZK L2!
We’re looking for people to fill the following roles @ModulusZK:
Advanced Mathematician/cryptographer (Masters+ in related field or published author)
Business Developers & BD Lead
Web developer
Feel free to send us a DM!
10
23
119
6,437
How would you like your ZK this morning?
* @ModulusZK yes, I’ll take the first order logic, and I’ll have those ‘nomials with some poly, please.
ZK infra is evolving fast!
@ModulusZK isn’t just a remix of Halo or Plonky. It’s a novel zero-knowledge protocol.
A new ETH L2 built specifically for recursion ft shorter proofs + optimized for ultra-fast aggregation.
7
43
116
3,778
.@Ethereum is for A.I.
We view AI as humanity's attempt to replicate natural systems in digital form.
Just as the human eye is an intermediary between external reality & the nervous system, @ModulusZK is building the essential interface between real-world AI operations & on-chain verification systems.
5
24
116
2,669
Cult DAO’s Modulus, a fully decentralised zkEVM Layer 2, has appointed elite technical leaders without VC backing 👥
The DAO-led project reinforces its commitment to privacy, scalability, and decentralised development through community governance 🗳️
wearecultdao.medium.com/cult…
2
28
115
3,184
Thank you @lex_node 🙏🏻 @MetaLeX_Labs looks great & encourage everybody to check out what Gabriel has been cooking 🧑🍳
cultDAO--I first saw these guys at ETH Denver 2023, they were one of the last talks on the main stage
They were in these 4chan-style Anonymous masks, but like out of Greek tragedy, and were reading some crazy manifesto
I thought "thank God, the spirit of cypherpunk hacktivism is still alive in Ethereum"
I am always seeing @BudzyTV and others repping CULT on the timeline in the most based of ways.
More recently, I met @MrOmodulus online and learned they are building @ModulusZK with a famous compsci professor and are launching a zk L2 with plans to use it to bootstrap some deep R&D into new ZK scaling solutions .
To me, this is the best of both worlds--a professorCoin / cypherpunk DAO hybrid. Don't think that combo has ever been attempted before.
I'm very pleased to have @MetaLeX_Labs providing some legal/governance solutions for them and to have taken a stake in the network.
1
33
109
5,398
Additionally, a zkEVM is order of magnitudes cheaper than a standard zk-Rollup without sacrificing security.
This is because a zkEVM leverages the security of Ethereum's underlying layer one infrastructure, while only requiring a small amount of on-chain data to be processed.
4
20
95
4,544
...this won't have any affect on the functionality or usability of the testnet for anyone, both users and builders.
The plan is to release this version of the network, and we will continue work and adapt the network over time before we reach the final build that will become...
1
2
94
4,796
...which we've been working on for some time.
However this doesn't slow us down greatly. We plan to release the first version of the testnet in July. It could only be a couple of weeks. We will release the first version with a mock verifier contract in place....
3
10
96
2,941
That about does it for the update.
TL;DR is "final touches."
It won't be such a long gap before our next update, but as has been said before, this account exists for meaningful updates, not daily pleasantries and sweet nothings.
3
2
98
3,775
Gm to all applicants! We have many to run through & so if you haven’t already please make sure you’ve sent as your CV in your message!
The preferred format is to send the pages to us as photos/images. Bear with us and we’ll get back to you all soon!
We’re hiring for our @ethereum ZK L2!
We’re looking for people to fill the following roles @ModulusZK:
Advanced Mathematician/cryptographer (Masters+ in related field or published author)
Business Developers & BD Lead
Web developer
Feel free to send us a DM!
9
23
108
3,531
9️⃣ This way, zero knowledge blockchains can help to create a more robust and secure ecosystem for blockchain technology, making it more accessible to and suitable for a wider range of users and industries.
1
12
90
8,090
