hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final
((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)
🚨Learn & Share alert! 🚨
Patrick Towa and @TKohrita from @aztecnetwork
join us to talk about "One-Shot Native Proofs of Non-Native Operations in IVC" - https://t.co/2CecemkvPE
Join them in 👇👇
https://t.co/yPHvTN9bja to enjoy this awesome talk!
Gm gang. Got some new crypto for y'all, fresh from @TKohrita, @towa_patrick at @aztecnetwork
https://t.co/KnzrEODMmk
Zeromorph is the missing link we needed to make Plonk go stratospheric. Here's why 🧵
Today we're proud to announce the next generation of our encrypted zkRollup with the same name that started it all:
Aztec.
Aztec is the first ever hybrid zkRollup, enabling both public and private smart contract execution in one environment.
It's Ethereum, encrypted.
👇
We've been hard at work making general purpose zero-knowledge transactions accessible.
In this thread we want to describe a fundamental technology that helps us get there:
Proof compression.
https://t.co/ZYC2FmYDYl
↓