Added more M31 and binary field support to zorch:
https://t.co/73ZfCaV9kw
Now you can write reasonably-performant STARK proving code that runs on your GPU, in python! Below is the full arithmetization of poseidon.
I welcome others taking this and running with it.
Other Layer 2s can do what Linea did.
Why is ZkSync different from other Layer 2s?
ZkSync is working on decentralizing the sequencer to make it truly censorship-resistant.
Yesterday, Consensys's product Linea chain went down for hours. Linea turned off the chain to protect the Velocore Dex hack.
2 + 2 = 0
2 * 6 = 11
3 / 5 = 9
3² + 8² = 11²
420 * 61779 = 1
It's the new math. If you use it, it becomes much easier to make proofs of things.
If you know, you know.