With my colleague Dimiter Kramer at @DeepInfra, we proved the Courtade–Kumar conjecture. We show that a delicate refinement of the conjecture, incorporating the output bias, admits an induction on dimension.
Paper: mnsaglam.com/papers/courtade…
Take a uniform random bit string X. Flip each bit independently with probability 10% to get Y. Looking at Y alone, output one bit B that reveals as much information as possible about X.
The conjecture says that the best you can is to output the first bit of Y.
Three other teams have also announced proofs this week. Our proof is short and purely information theoretic. It was obtained independently of these works.
Ky & Tran (arxiv.org/abs/2609.24184): Fourier theoretic
Chen et al. (arxiv.org/abs/2609.24931): computer-assisted differential method
Mahdavifar & Beirami (arxiv.org/abs/2609.26444): differential method + Fourier analysis
Take a uniform random bit string X. Flip each bit independently with probability 10% to get Y. Looking at Y, output one bit B that reveals as much information as possible about X.
The conjecture says that outputting the first bit of Y is optimal. We prove this is true
Three other teams have also announced proofs this week. Our proof is short and purely information theoretic. It was obtained independently of these works.
Ky & Tran (arxiv.org/abs/2609.24184): Fourier/entropy methods
Chen et al. (arxiv.org/abs/2609.24931): computer-assisted differential method
Mahdavifar & Beirami (arxiv.org/abs/2609.26444): entropy flow + Fourier analysis
Our paper (mnsaglam.com/papers/courtade…): a refinement to CK + information theory
Three other teams have also announced proofs this week. Our proof is short and purely information theoretic. It was obtained independently of these works.
Ky & Tran (arxiv.org/abs/2609.24184): Fourier analysis
Chen et al. (arxiv.org/abs/2609.24931): computer-assisted differential method
Mahdavifar & Beirami (arxiv.org/abs/2609.26444): differential method + Fourier analysis
Our paper (mnsaglam.com/papers/courtade…): a refinement of CK which admits induction + information theory
Mert Saglam retweeted
Hear from @MinaDevelopers building ZK + Identity solutions this Thursday.
Set a reminder 👇 4/4
xitter.cf/i/spaces/1MYGNoqwnRoJw
Mert Saglam retweeted
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!
Mert Saglam retweeted
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 📱
Mert Saglam retweeted
GM #KimlikDAO fam🪁
🚨 ODTÜ Blockchain Days (@DaysBlockchain) tarihleri 9-10 Mart olarak güncellendi.
Haftaya Ankara'da buluşalım 😉👊🏼
🇹🇷
📢❗Önemli Duyuru ❗📢
Sevgili Blockchain Days katılımcıları,
2-3 Mart tarihlerinde gerçekleştirilmesi planlanan Blockchain Days etkinliğimiz, elimizde olmayan sebeplerden dolayı 9-10 Mart tarihlerine ertelenmiştir.
Katılımcılarımızın herhangi bir mağduriyet yaşamaması adına en yakın zamanda bir iletişim kanalı paylaşacağız.
Blockchain Days'in yeni tarihinde sizlerle bir araya gelmek için sabırsızlanıyoruz! Anlayışınız ve destekleriniz için teşekkür ederiz.
🇬🇧
📢❗ Important Announcement ❗📢
Dear Blockchain Days participants,
Our Blockchain Days event, originally scheduled for March 2-3, has been postponed to March 9-10 due to unforeseen circumstances.
We will share a communication channel as soon as possible to ensure that our participants do not experience any inconvenience.
We look forward to meeting you on the new dates of Blockchain Days! Thank you for your understanding and support.
Mert Saglam retweeted
👨💻 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: github.com/o1-labs/o1js/issu…
$Mina @MinaProtocol #Selfsovereignidentity
Would you like to mint your KimlikDAO Pass using your passport's NFC chip? 🤩
In our submission to @MinaProtocol's zkIgnite Cohort 3, we introduced a brand new zk-protocol which enables you to do so🪪👇
🔗zkignite.minaprotocol.com/zk…
Mert Saglam retweeted
🇹🇷
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
2/ Even Solidity itself is wide open for disruption: We 100% need a formal verification friendly language like Dafny (dafny.org)
If I'm able to create a CDP in a formally verified protocol, I'm not going to use anything else.
Mert Saglam retweeted
Bullish
Mert Saglam retweeted
1/ Using our new protocol, you will be able to mint a KimlikDAO Pass by scanning your passport's NFC chip💥
Only the photo from the passport chip is transmitted out of your device and compared against live video.
This is to ensure that only you can mint your KimlikDAO Pass 🔐
Would you like to mint your KimlikDAO Pass using your passport's NFC chip? 🤩
In our submission to @MinaProtocol's zkIgnite Cohort 3, we introduced a brand new zk-protocol which enables you to do so🪪👇
🔗zkignite.minaprotocol.com/zk…
Mert Saglam retweeted
Would you like to mint your KimlikDAO Pass using your passport's NFC chip? 🤩
In our submission to @MinaProtocol's zkIgnite Cohort 3, we introduced a brand new zk-protocol which enables you to do so🪪👇
🔗zkignite.minaprotocol.com/zk…
Mert Saglam retweeted
🇹🇷
KimlikDAO'yu Blockchain Days'in gümüş sponsoru olarak tanıtmaktan mutluluk duyuyoruz! ✨
Etkinlik biletleri ve tüm detaylar için biyografideki linkimizi ziyaret edebilirsiniz.
🇬🇧
We are delighted to present KimlikDAO as the silver sponsor for Blockchain Days! ✨
You can visit the link in our biography for event tickets and all the details.
@KimlikDAO
