Hey #KimlikDAO Fam!
Welcome aboard, @oemerfurkan 🪁
We are so happy that you joined KimlikDAO! We look forward to working together. We hope great days are waiting for us! 🚀✨
Hey #KimlikDAO fam 🪁
🎟️Join us tomorrow at METU Blockchain Days! (@DaysBlockchain)
🫂Visit the KimlikDAO booth, and let's explore the project together. We're excited to connect with you! ✨
🇹🇷
Blockchain Days 2024 etkinlik akışı sizlerle! ✨
9 Mart'ta yüz yüze, 10 Mart'ta online olarak gerçekleşecek etkinliğimizde, sektör liderlerinin sunumları, paneller ve interaktif oturumlarla dolu bir gün sizi bekliyor. Unutulmaz bir deneyim için şimdi yerinizi ayırtın!
🇬🇧
Blockchain Days 2024 event schedule is here! ✨
Join us on March 9th in person and on March 10th online for a day filled with presentations, panels, and interactive sessions by industry leaders. Reserve your spot now for an unforgettable experience!
Hi #KimlikDAO fam 🪁,
Exciting news! 🌟 We are thrilled to announce that we have secured 60,000 $MINA in funding from @MinaFoundation for our new zero-knowledge passport minting protocol 🎉
Get ready to mint your KimlikDAO Pass using your passport 📱
👨💻 We've proposed an RFC to bring SHA512 to @o1_labs' o1js. This is a big step towards minting our KimlikDAO Pass directly from your passport!
💡 Passports issued by Finland, Türkiye, and more use SHA512.
🔗 Dive into the details & share your thoughts: https://t.co/yEA4FFjwyp
$Mina @MinaProtocol #Selfsovereignidentity
🇹🇷
KimlikDAO'da Developer olan Mert Sağlam Blockchain Days'te bizlerle olacak!
🇬🇧
Mert Sağlam, Developer at KimlikDAO, will be with us at Blockchain Days!
@szaglam@KimlikDAO
1/ This is accurate, but I firmly believe that zkEVM is a non-goal.
The solc optimizer is already a weak point in the Solidity tooling. Give me a better compiler that compiles to whatever VM and I'm happier.
“zkEVM” has been abused in so many marketing materials.
However, there are only two zkEVM that achieves bytecode level compatibility and has a full proof on mainnet.
@Scroll_ZKP and @0xPolygon zkEVM
3/ If someone can come up with a zk friendly VM and formal verification language that compiles to it, I believe that zkEVM discussions will become obsolete
2/ Even Solidity itself is wide open for disruption: We 100% need a formal verification friendly language like Dafny (https://t.co/qugTyxF48Y)
If I'm able to create a CDP in a formally verified protocol, I'm not going to use anything else.