Yan Michalevsky
248 posts

Yan Michalevsky
@ymcrcat
Musician and security researcher. Co-founder of @cryptosat. Co-founder of @anjuna_security.
Brooklyn, NY Katılım Şubat 2015
374 Takip Edilen299 Takipçiler

A startup burned $1,000,000 building a personal finance app with a built-in AI assistant.
The business failed.
So they gave the entire codebase to the internet for free.
It tracks your accounts, investments, crypto, and debt.
The AI knows your exact numbers and answers any question about them.
Your data never leaves your server.
This is what $1,000,000 of free software looks like.
100% Opensource.

English

Sharing my recent work on dark pools for the Stellar network. Contrasting three approaches: MPC, FHE and TEEs.
stellar.org/blog/developer…
English


My work with Stellar Development Foundation on prototyping Privacy Pools is published on their blog:
stellar.org/blog/ecosystem…
English
Yan Michalevsky retweetledi

Excited to announce our $11M Series A, led by @ROWGHANI from @firstharmonic.
Our AI agents automate and strengthen compliance workflows for financial institutions, including @Chime , @BiltRewards , & @CelticBank.
Thanks to our customers, team, & investors :)
English

mixcloud.com/yan-michalevsk…
Uploaded my set from one of those NY rooftop parties. Enjoy!
English

Today, Dynamic is joining Fireblocks.
A month after starting Dynamic, I had my first call with the @FireblocksHQ CEO, Michael Shaulov.
I left that call thinking, “I need to partner with him.”
Since the beginning, we’ve admired how Fireblocks built trust and scale across the industry. I can't understate how much I respect this team, and always have.
By joining Fireblocks, we’re combining our strengths.
Fireblocks is leading the way in digital asset security infrastructure. Dynamic is leading the way in giving developers the tools to build next generation financial experiences, on crypto rails, with speed and simplicity.
Together, we can serve everyone, from the two-person startup to the Fortune 500 company, with one complete crypto stack for every stage of growth.
For our customers, nothing changes. You’ll keep building with the same tools and people you know and trust, now with more power behind you: stronger security, faster delivery, and global support.
This moment feels something we've been building toward for years. It’s the next step toward our vision of making crypto work for everyone.
To our customers, community, and investors, thank you for placing your faith in us.
LFG and back to work!
English
Yan Michalevsky retweetledi
Yan Michalevsky retweetledi
Yan Michalevsky retweetledi

Check out my new single "Magic Nights" live on Spotify! open.spotify.com/album/7KlW92gs…
English
Yan Michalevsky retweetledi

📢 Anjuna issues press release! A Fortune 500 financial institution and fintech leaders like @Narvalgmi, @payfinia, @portal_hq, and @rootVXProject are using Anjuna’s #ConfidentialComputing platform to drive secure #AI innovation.
Read press release: buff.ly/EEcxcSc

English
Yan Michalevsky retweetledi

Today, I am excited to share that @joinformal has raised $6.8M in funding led by @ThriveCapital, with participation from @ycombinator , @AbstractVC , and industry leaders such as @jgreze, Alexis Lê-Quôc, @ceo_clickhouse, @stanine, @tidocarriero, @mathile_collin, @Gorintic, @grittygrease, @itsRobPicard and many more.
From writing the first few lines of code in my bedroom two years ago to earning the trust of tech companies I admire—like @NotionHQ, @tryramp, and @GustoHQ journey has been both surreal and humbling.
This isn't just a financial milestone; it’s a recognition of the customers who trust Formal to protect their most sensitive data.
We’re tackling one of the industry’s most complex challenges: securing data everywhere in an organization—from the endpoint to the cloud.
Over the last decade, we’ve seen an explosion of SaaS applications and a surge in the complexity of the data stack, driven by rapid cloud adoption. While this shift has boosted business productivity, it has also made tracking data flows and enforcing granular, context-aware least-privilege policies far more challenging. As a result, organizations face greater exposure to over-privileged access and data oversharing, leading to massive breaches.
Formal is here to change that. Acting like an interface in your favorite programming language, Formal serves as an abstraction layer that brings visibility and control to data flows—all in one place: the network. With Formal, security teams can create policies in a single place and enforce them across their entire data stack and SaaS applications.
If you’re looking to make your data more secure and enable least-privilege on autopilot in your organization, book a demo here: joinformal.com/demo-request/.
This is just the beginning—our hardest challenges still lie ahead. If you’re excited about our mission and want to join a small, talent-dense team, we’re hiring across GTM and engineering in our SF and Paris offices. Learn more and apply here: jobs.gem.com/joinformal.
English
Yan Michalevsky retweetledi

Spacecoin XYZ unveils plans for first blockchain network in outer space cointelegraph.com/news/spacecoin… via @cointelegraph
English
Yan Michalevsky retweetledi

It's a beautiful day for space exploration..
Today, Spacecoin XYZ is sharing with the community plans to build a blockchain in orbit.
@Spacecoin_xyz
@semicondurian @yangWao @rezabfil @ymcrcat @yowinetraub
github.com/spacecoinxyz/r…
English
Yan Michalevsky retweetledi

We’re finally sharing publicly the @Spacecoin_xyz Blue Paper 📑
This is the first manuscript we release toward distributed system protocol that extends the free market economy beyond the bounds of earth, building an important piece of technology with strong cypherpunk spirit
1/3



English
Yan Michalevsky retweetledi
Yan Michalevsky retweetledi

📄🚀 New blog post! ✨Beyond Memory Encryption: How Anjuna Seaglass Protects the Confidential Container Disk ✨
Learn how #Anjuna Seaglass encrypts the disk of Confidential VMs, providing end-to-end protection for #ConfidentialComputing.
Dive in: buff.ly/4eFso4W
English





