Sébastien Vaussier 🦀

🦀 Senior Rust Developer • Algorithmic Trading • web3
✈️ From The Safety Critical Embedded Software World
🚀 Co-Founder @IAKI_knew_it & @highkholle

[Fermah @fermah_xyz]

Flashcast Social live on private beta.

Tweet to create. Instant resolutions.

Comment "quest" below for your code → complete quests → join waitlist.

flashcast �� social

[Sébastien Vaussier 🦀 @SVaussier]

I called it! I am guessing @fermah_xyz Big Announcement drops Tue Mar 3 at 9am CT.

Ran the numbers. accounted for scope creep, last-minute bugs, and the inevitable "one more thing."

[Fermah @fermah_xyz]

Universal Proof Market is now live on public mainnet.

[Vanishree Rao @vanishree_rao]

Big news: Universal Proof Market is live on mainnet.

The system is designed to support heterogeneous proof systems and hardware profiles.

@zksync is the first network going live on the proof market. Huge milestone not only for Fermah, but for ZKsync in it's big decentralization vision of building every stack right.

We are building it right and are increasing load gradually, to ensure top liveness for proof requesters and high utilization rate for compute providers :
- More zk networks submitting proof requests
- More compute providers joining supply

This is the first production step toward that model.

Incredibly proud of the world-class team at Fermah!

[Vanishree Rao @vanishree_rao]

Cardi B is awesome but a controversy involving her name became huge in the prediction market arena.

So here is what happened: 🧵

[Vanishree Rao @vanishree_rao]

Prediction markets resolve slower than bank transfers.
.
.
.
Let that sink in.

We built DeFi to be instant. But prediction market resolution still takes days.

Why? And more importantly, how do we fix it?

In this video, I break down the entire problem 👇

[Fermah @fermah_xyz]

Proof generation is a workflow.

The proof market makes it observable and operable.

Live on our internal mainnet.

[Vanishree Rao @vanishree_rao]

We are building with a few top projects that hit the pain of off-chain infra: bots, oracles, middleware, failed txns, opaque UX.

If you have felt that too, this is your early chance to shape the next big thing.

DM me what you're building & I'll share the builder form.

[Vanishree Rao @vanishree_rao]

We did better than we could have imagined. Landed our first paying customers within six months of building, grew in number of customers, and now we have got something brewing that's going to blow up. Imagine a crazy team passionately building for five months straight in silence. Brace yourself for what's coming next, because Fermah Force is one to reckon with.

Onward!

[Vanishree Rao @vanishree_rao]

Look what we did. Bold move.

We didn't pick the fastest proof system to prove Ethereum blocks for @eth_proofs.

We picked one with quite an involved workflow -- RISC Zero.

Why? To showcase our tech: a programmable proving layer that can handle the hardest workflows.

💪

[Fermah @fermah_xyz]

Are you an infrastructure provider that wants to generate proofs for Fermah?

Just drop us a dm

Join us in bringing moon math to the masses ✨

[Fermah @fermah_xyz]

Initiating Phase 2

[Fermah @fermah_xyz]

Today, privacy is being reborn

Introducing Confidential Proving Delegation (CPD)

With CPD, Fermah brings privacy to any chain or VM

[Horizen @horizenglobal]

We're excited to team up with @fermah_xyz to bring fast, scalable, and reliable ZK proofs to the Horizen appchain!🤝

With Fermah's universal proof market, we’re giving devs the performance they need to build robust privacy apps, without compromise.

[Fermah @fermah_xyz]

Wen Testnet?

Now!

[Vanishree Rao @vanishree_rao]

Have you thought about really what's the core power of cryptography?

It makes things easy for good people and hard for bad people.

1. Encrypting is easy. Decrypting without private key is hard.
2. Proving you know something is easy. Learning what it is without help is hard.
3. Signing a message is easy. Forging a signature without the key is hard.

Good mental model for us all building in crypto, given cryptography is the underpinning tech for it.

[Fermah @fermah_xyz]

Welcome to the year of ZK 😎

https://t.co/SzPvgefgar

[Frank Force 🌻 @KilledByAPixel]

Snowy City ❄️ https://t.co/EOVsoMzj1Q #javascript #tinycode #generativeart

for(c.width=w=99,i=6e3;i;C-=a)++T<w&R<4-S(q=C/9^T/9)*(T>>5)*29?R-=b:x.fillRect(i%w,--i/w|x.clearRect(i/4+S(t*9+i)*2-(e=(C+i**2.7)%w)*2,e,1,1),1,(C&R&T+q&3)/9+T/w,R=T=a=1-i%w/50,b=1-i/4e3,C=t*30)

[Levitate Labs @levitate_labs]

Onchain India Podcast : @vanishree_rao from @fermah_xyz

Fermah is a universal proof market.
It is optimized for cheap, fast, and reliable ZK proof generation. This is designed to be neutral and flexible, supporting all types of proof systems. This includes zkVMs, zkEVMs, Groth16, and many others.

Key Stats:
👉$5.20M Raised.
👉 Backed by a16zcrypto, Lemniscap, LongHash Ventures, etc
👉 Cheap, Reliable and Fast ZK proof generation

Video Link : https://t.co/JwPw9apAS4

Timestamps:
0:40 - Vanishree's background in the crypto space
2:40 - How she started with Fermah
7:00 - A deep dive into the core aspects of Fermah
9:40 - The fundraising journey of Fermah
14:00 - Reflections on the past months and key KPIs to focus on
17:00 - Fermah's roadmap for the year 2025
19:00 - Web3 sectors of focus and advice from Vanishree for early-stage developers

[Fermah @fermah_xyz]

Last week, we came out of stealth and told you about our upcoming plans.

Today, you can take our tech for a spin.

Yes.

The wait is over.

Our Devnet is live.