mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

3K
active users

#zk

1 post1 participant0 posts today
Hacker News<p>Clean, a formal verification DSL for ZK circuits in Lean4</p><p><a href="https://blog.zksecurity.xyz/posts/clean/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">blog.zksecurity.xyz/posts/clea</span><span class="invisible">n/</span></a></p><p><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/Clean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Clean</span></a> <a href="https://mastodon.social/tags/ZK" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ZK</span></a> <a href="https://mastodon.social/tags/circuits" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>circuits</span></a> <a href="https://mastodon.social/tags/Lean4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lean4</span></a> <a href="https://mastodon.social/tags/formal" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formal</span></a> <a href="https://mastodon.social/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verification</span></a> <a href="https://mastodon.social/tags/DSL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DSL</span></a></p>
Tommaso Gagliardoni<p>Just a heads-up that at the end of March there is a "crypto week" in Sofia, Bulgaria, with a ton of co-located cryptography-related events. I will also give a talk on Shufflecake at OSCW.</p><p><a href="https://shufflecake.net/#20250301-talk-oscw" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">shufflecake.net/#20250301-talk</span><span class="invisible">-oscw</span></a></p><p>In chronological order:</p><p> - ZCash Dev Summit <a href="https://forum.zcashcommunity.com/t/zcash-dev-summit-in-sofia-bulgaria-on-march-22-2025/49589" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">forum.zcashcommunity.com/t/zca</span><span class="invisible">sh-dev-summit-in-sofia-bulgaria-on-march-22-2025/49589</span></a><br> - ZKProof 7 <a href="https://zkproof.org/events/zkproof-7-sofia/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">zkproof.org/events/zkproof-7-s</span><span class="invisible">ofia/</span></a><br> - HACS Workshop <a href="https://www.hacs-workshop.org/index.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">hacs-workshop.org/index.html</span><span class="invisible"></span></a><br> - RWPQC <a href="https://rwpqc.sandboxaq.com/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">rwpqc.sandboxaq.com/</span><span class="invisible"></span></a><br> - FHE Conference <a href="https://fhe.org/conferences/conference-2025/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">fhe.org/conferences/conference</span><span class="invisible">-2025/</span></a><br> - ZK Hack Meetup <a href="https://lu.ma/0stmji9i" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lu.ma/0stmji9i</span><span class="invisible"></span></a><br> - RWMPC <a href="https://www.mpcalliance.org/rwmpc-2025" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">mpcalliance.org/rwmpc-2025</span><span class="invisible"></span></a><br> - OSCW <a href="https://opensourcecryptowork.shop/2025/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">opensourcecryptowork.shop/2025/</span><span class="invisible"></span></a><br> - RWC <a href="https://rwc.iacr.org/2025/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">rwc.iacr.org/2025/</span><span class="invisible"></span></a></p><p>Feel free to comment if I missed anything.</p><p>I will be around, planning of attending at least ZKProof, ZK Hack Meetup, RWPQC, OSCW and RWC.</p><p><a href="https://infosec.exchange/tags/Cryptography" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Cryptography</span></a> <a href="https://infosec.exchange/tags/Shufflecake" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Shufflecake</span></a> <a href="https://infosec.exchange/tags/OSCW" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OSCW</span></a> <a href="https://infosec.exchange/tags/OSCW2025" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OSCW2025</span></a> <a href="https://infosec.exchange/tags/RWC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RWC</span></a> <a href="https://infosec.exchange/tags/rwc2025" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rwc2025</span></a> <a href="https://infosec.exchange/tags/RWPQC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RWPQC</span></a> <a href="https://infosec.exchange/tags/FHE" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FHE</span></a> <a href="https://infosec.exchange/tags/FHEorg" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FHEorg</span></a> <a href="https://infosec.exchange/tags/RWMPC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RWMPC</span></a> <a href="https://infosec.exchange/tags/MPC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MPC</span></a> <a href="https://infosec.exchange/tags/MPCalliance" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MPCalliance</span></a> <a href="https://infosec.exchange/tags/ZK" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ZK</span></a> <a href="https://infosec.exchange/tags/ZeroKnowledge" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ZeroKnowledge</span></a> <a href="https://infosec.exchange/tags/zeroknowledge_proofs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>zeroknowledge_proofs</span></a> <a href="https://infosec.exchange/tags/ZKproof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ZKproof</span></a> <a href="https://infosec.exchange/tags/ZKhack" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ZKhack</span></a> <a href="https://infosec.exchange/tags/HACS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HACS</span></a> <a href="https://infosec.exchange/tags/Zcash" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Zcash</span></a> <a href="https://infosec.exchange/tags/sofia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sofia</span></a> <a href="https://infosec.exchange/tags/bulgaria" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>bulgaria</span></a></p>
The Shufflecake Project<p>📣 New talk! 📣 Shufflecake will be presented at the Open Source Cryptography Workshop 2025 in Sofia, Bulgaria, on 2025-03-25. OSCW is co-located with Real-World Crypto 2025 and a plethora of other crypto events. Stay tuned!</p><p><a href="https://shufflecake.net/#20250301-talk-oscw" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">shufflecake.net/#20250301-talk</span><span class="invisible">-oscw</span></a></p><p><a href="https://fosstodon.org/tags/Shufflecake" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Shufflecake</span></a> <a href="https://fosstodon.org/tags/OSCW" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OSCW</span></a> <a href="https://fosstodon.org/tags/OSCW2025" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OSCW2025</span></a> <a href="https://fosstodon.org/tags/RWC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RWC</span></a> <a href="https://fosstodon.org/tags/rwc2025" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rwc2025</span></a> <a href="https://fosstodon.org/tags/RWPQC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RWPQC</span></a> <a href="https://fosstodon.org/tags/RWPQC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RWPQC</span></a> <a href="https://fosstodon.org/tags/FHE" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FHE</span></a> <a href="https://fosstodon.org/tags/FHEorg" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FHEorg</span></a> <a href="https://fosstodon.org/tags/RWMPC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RWMPC</span></a> <a href="https://fosstodon.org/tags/MPC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MPC</span></a> <a href="https://fosstodon.org/tags/MPCalliance" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MPCalliance</span></a> <a href="https://fosstodon.org/tags/ZK" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ZK</span></a> <a href="https://fosstodon.org/tags/ZeroKnowledge" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ZeroKnowledge</span></a> <a href="https://fosstodon.org/tags/zeroknowledge_proofs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>zeroknowledge_proofs</span></a> <a href="https://fosstodon.org/tags/ZKproof" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ZKproof</span></a> <a href="https://fosstodon.org/tags/ZKhack" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ZKhack</span></a> <a href="https://fosstodon.org/tags/HACS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HACS</span></a> <a href="https://fosstodon.org/tags/Zcash" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Zcash</span></a> <a href="https://fosstodon.org/tags/sofia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sofia</span></a> <a href="https://fosstodon.org/tags/bulgaria" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>bulgaria</span></a></p>
Neiman -- OLD ACCOUNT<p>Marius Van Der Wijden claims to have broken Iden3's implementation of the Poseidon Hash. It is quite well-known, and probably used, so it's quite interesting.</p><p>He claims the problem is with their bit padding. </p><p>Normally you add '1' and then zeroes (possibly none) to fill the block length. This ensures that there is always *some* padding. </p><p>They didn't add the '1', so some input doesn't get padded at all, which leads to a collision.</p><p><a href="https://mastodon.social/tags/cryptography" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cryptography</span></a> <a href="https://mastodon.social/tags/snarks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>snarks</span></a> <a href="https://mastodon.social/tags/zk" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>zk</span></a> <a href="https://mastodon.social/tags/blockchain" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>blockchain</span></a>.</p><p><a href="https://x.com/vdWijden/status/1877046148386451732" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">x.com/vdWijden/status/18770461</span><span class="invisible">48386451732</span></a></p>

Aztec finished separating Nargo from Barretenberg in Noir!

Even die-hard fans of #cryptography and #zk might not be sure if this is a sentence from the industry or a fantasy book, so I'm here to help.

Aztec: is a privacy-preserving Ethereum L2 blockchain using ZK (Zero-knowledge). That's not exciting for me really, but they are *also* building Noir.

Noir: An awesome general language for ZK programs. People (me) use it for writing ID systems, KYC, blockchains, or decentralized games.

👇👇👇

I want to take my #ID for the Internet project to the next level: get people to try it out. But is the #fediverse is the right place for that?

The project is based on #ZK #snarks and #ethereum #blockchain, to have a private global registry of identities. Those topics are not popular in the fediverse, so It might be hard to find test users.

But I don't want to look at places like Twitter, where it is popular. I also really do believe that such an ID fits the #dweb more than any other place.

👋 hi, a quick #introduction, i'm jack 29M 🇬🇧

I'm a SWE soon to move to startup land after 6.5 years in public sector with uk gov.

Outside of capitalist prescribed selfID im an ubernerd and typical latestage millenial: i've used PCs since I was 5 and lived on the internet since way too young.

I'm interested in #tech, #dev, #weightlifting and #zk/#pkm

I chose #Hachyderm after watching @nova livestream an upgrade, lurking and being very impressed by the democratic model that @nivenly offers.