Recently thinking that maybe game engines should ship default terminal multiplexer configs
Lots of times running the engine requires setting up multiple terminal window and it would be nice to have some pre-configured
Experimenting with this idea for our engine
08.06.2025 23:57 β π 0 π 0 π¬ 0 π 0
These projects continue to evolve over time
Mina working to solve the data issue in very clever ways (future thread/video)
Midnight has some interesting R&D on function composition
So I'm excited to see both continue to grow!
02.02.2025 22:11 β π 1 π 0 π¬ 0 π 0
So both Mina and Midnight provide similar functionality
But they implement it very different ways, both with trade-offs!
They're both cleverly engineered, which is why we've followed both of them closely π
02.02.2025 22:11 β π 1 π 0 π¬ 1 π 0
Midnight, by thinking of data & variables as the primitive (instead of function composition), makes it easy to write data-heavy apps!
You can build
- games (secret information)
- RWAs (only reveal regulatory-relevant info)
- DeFi (don't reveal your position right away)
and more
02.02.2025 22:11 β π 0 π 0 π¬ 1 π 0
When a user wants to update the public state, they
β don't reveal their private state
β
do prove something happened in their private state to allow them to update the public state
ex: prove you did something to earn 50 points (not revealing it's because you built a building)
02.02.2025 22:11 β π 0 π 0 π¬ 1 π 0
For example, you can represent a strategy game as some small amount of public information (ex: points, etc.)
And players have some private state (their position in the map, how much gold they have, etc.)
02.02.2025 22:11 β π 0 π 0 π¬ 1 π 0
(3) Midnight
Midnight, instead, keeps track of a public chain (a bit more similar to Bitcoin)
However, each user in Midnight has their own private state that is never shared with the rest of the blockchain
02.02.2025 22:11 β π 0 π 0 π¬ 1 π 0
Need data? You need to fetch it from elsewhere (ex: somebody whose node kept a backup)
You can still prove the data somebody gives you is correct (since you know the latest block, aka what the end result should be)
but it makes data-heavy dApps on Mina bit hard to build
02.02.2025 22:11 β π 0 π 0 π¬ 1 π 0
However, I skipped an important part: what happens to the data of smart contracts?
Unlike public blockchains, the data is not kept around in the blocks! Everything just gets compressed into a proof
02.02.2025 22:11 β π 0 π 0 π¬ 1 π 0
So in Mina, by just a very simple concept of modelling ZK proofs of "functions" that you can "compose"
we automatically are able to build this super succinct blockchain like we wanted!
02.02.2025 22:11 β π 0 π 0 π¬ 1 π 0
Transactions are combining proofs of multiple functions
Blocks are just combining proofs of multiple txs
A blockchain is just combining proofs of multiple blocks!
02.02.2025 22:11 β π 0 π 0 π¬ 1 π 0
Note that functions can call other functions (function "composition")
In our example, to prove "foo", we need to prove "bar" first
but remember: we know how to combine proofs together! So combining the proof of "bar" into a proof of "foo" is easy!
02.02.2025 22:11 β π 0 π 0 π¬ 1 π 0
But how do we generate ZK proofs of smart contracts?
Well, you can think of smart contracts as a list of functions
So all we really need is a way to generate "proofs" of a function (which, fortunately, is a very well studied problem with known solutions)
02.02.2025 22:11 β π 0 π 0 π¬ 1 π 0
As we saw earlier, we can combine proofs
So this means we can now combine everything into just a single proof of the genesis block to the latest block!
02.02.2025 22:11 β π 0 π 0 π¬ 1 π 0
(2) Mina
Similar to how we "proved Waldo exists", what if we instead "prove" there exists a block transitions
AKA, given block A, prove there exists some set of transactions that give you block B as a result
Now, ever transition is a ZK proof
02.02.2025 22:11 β π 0 π 0 π¬ 1 π 0
(1) Regular chains
If you want to know the state of Bitcoin, you often need to sync the full Bitcoin blockchain to get full security
However, this takes a lot of space on your device which isn't ideal. It's worse on chains like Ethereum, and even worse on Solana
02.02.2025 22:11 β π 0 π 0 π¬ 1 π 0
We'll explain how Mina & Midnight use these in three steps:
1. How do regular chains work
2. How does Mina work
3. How does Midnight work
02.02.2025 22:11 β π 0 π 0 π¬ 1 π 0
Mina & Midnight both use a technique called "recursive SNARKs" that allows you to combine proofs together
Conceptually, you can think of revealing you know the location of multiple Waldos across different pages at the same time
02.02.2025 22:11 β π 0 π 0 π¬ 1 π 0
This gives you a way to show two things:
1. Privacy: you know where Waldo is (without revealing to your friend, as they can't see the rest of the book other than your small hole)
2. Compression: You've proven Waldo exists by only showing a small amount of info (a small hole)
02.02.2025 22:11 β π 0 π 0 π¬ 1 π 0
To show both are possible, imagine a "Where's Waldo" game
How to prove to your friend you found Waldo without spoiling the game for them?
Answer: Cover the entire book with a big sheet of paper, and cut a small hole exactly where Waldo is
02.02.2025 22:11 β π 0 π 0 π¬ 1 π 0
"ZK" stands for "Zero Knowledge Cryptography". It's a technique that gives you at least one of two things:
- Private computation (required for RWA, gaming, some DeFi apps)
- Massive compression (useful for L2s, bridges, data-heavy use-cases)
Midnight & Mina give both
02.02.2025 22:11 β π 0 π 0 π¬ 1 π 0
YouTube video by Sebastien Guillemot
Midnight & Mina: what makes them interesting ZK chains?
You've probably heard about Midnight and Mina multiple times
But what are they? How do they give privacy? How can they connect to other chains? Why are they exciting?
I cover it all in my latest video + thread β
www.youtube.com/watch?v=3vW-...
02.02.2025 22:11 β π 5 π 1 π¬ 1 π 0
every time I find a project I'd be interested in leveraging
> please don't be written in some bs language
> please don't be written in some bs language
> please don't be written in some bs language
the project's Github page
12.01.2025 01:16 β π 0 π 0 π¬ 0 π 0
It was super fun to learn about color theory, and very satisfying that it tied multiple fields of math together with delightfully surprising results
Hope you enjoyed reading this as much as I enjoyed writing it!
01.12.2024 21:47 β π 0 π 0 π¬ 1 π 0
This means that every color generated by our tool can also be used to generate a great Material Design color scheme !
This makes it super easy to have not just one color per system in your app,
But even generate colorful dashboards and subcomponents that feel color-aligned!
01.12.2024 21:47 β π 0 π 0 π¬ 1 π 0
Material Design has a recommendation for which color to use to create your color palette: its saturation should be above "48"
and for brightness 68,69,70
no matter which color you pick, there exists a choice with saturation above 48π€―
01.12.2024 21:47 β π 0 π 0 π¬ 1 π 0
In fact, brightness levels 68, 69 and 70 are the only brightness levels with a special property!
Many Anrdoid apps and websites use a design system called material design created by Google
It allows creating beautiful color schemes for your app on a color (ex: your brand color)
01.12.2024 21:47 β π 0 π 0 π¬ 1 π 0
Great! So now we know which brightness to pick!
and it gives us these beautiful colors, all while having a consistent brightness!
01.12.2024 21:47 β π 0 π 0 π¬ 1 π 0
https://cryptologie.net/ | founder of @zksecurity.bsky.social | research advisor ArchetypeVC | author of Real-World Cryptography | Previously architect for Mina (at O(1) Labs), security lead for Libra (at Facebook), cryptography services at NCC Group
Sustainability Lead @cardanofoundation.bsky.social | blockchain gov & interop is π for web3 & a better π views = own #buildinpublic
Making TypeScript for 10 years running
A software engineer at @deno.land π¦, lives in π―π΅, interested in Deno / VSCode Extension / Theorem provers / Wrist watches. A partner of Iyochi. he/him
https://kt3k.org
Software developer at Deno. Also working on ts-morph, dprint, and more (https://github.com/dsherret)
Software person. Building @deno.land. Creator of Fresh. tc39.es delegate.
he/him π³οΈβπππ»π
lcas.dev
A next-generation media company positioned at the intersection of emerging technology, alternative finance, and culture.
Founder & CEO at Socious | Serial Impact Entrepreneur | Impact Angel Investor | Board Member at TELL | Cardano Ambassador/ICC Member
Crypto policy twitter man
the bunny talisman of yearn
A modern runtime for JavaScript and TypeScript
https://deno.com
WEB 3 Enthusiast.
I prioritize decentralization and the strength it brings to our future. I'm a Decentralized Capitalist aka a Democratic Socialist. An ADA a day keeps the doctor away.
You can also follow me on X @ADAbluedot
AOC/Stewart 2028!!!
Desinfluencer. Mostly blockchain software, dataviz, memes & gifs.
π£π΄ http://pool.pm π http://nftcdn.io π SMAUG stakepool
#Cardano #Bitcoin
Visual artist | Keystone Wallet Ambassador
Founder : Cyberia CNFT, interactive 3D collectibles based on yoga, wellness
https://cyberia.gg