Three talks at the recent #ZKProof 7 conference in Sofia caught our attention:

🔹 Alexander Hicks from Ethereum Foundation had some really nice things to say about #LeanLang, calling it "quite a nice functional programming language". 😍 He showed off zkLib, which ties executable implementations of proof systems directly to security proofs.
https://www.youtube.com/live/L_uz5rH50Sw

🔹 James Parker from Galois introduced zkLean - a DSL for specifying ZK statements in Lean. Definitely worth checking out if you're interested in this space!
https://www.youtube.com/live/O_bT89JK6_c

🔹 Jonathan Rouach from QEDIT discussed the motivation behind the development of a Lean end-to-end proof of the PLONK verifier.
https://www.youtube.com/live/dNLa5B2ER74

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.

https://shufflecake.net/#20250301-talk-oscw

In chronological order:

- ZCash Dev Summit https://forum.zcashcommunity.com/t/zcash-dev-summit-in-sofia-bulgaria-on-march-22-2025/49589
- ZKProof 7 https://zkproof.org/events/zkproof-7-sofia/
- HACS Workshop https://www.hacs-workshop.org/index.html
- RWPQC https://rwpqc.sandboxaq.com/
- FHE Conference https://fhe.org/conferences/conference-2025/
- ZK Hack Meetup https://lu.ma/0stmji9i
- RWMPC https://www.mpcalliance.org/rwmpc-2025
- OSCW https://opensourcecryptowork.shop/2025/
- RWC https://rwc.iacr.org/2025/

Feel free to comment if I missed anything.

I will be around, planning of attending at least ZKProof, ZK Hack Meetup, RWPQC, OSCW and RWC.

#Cryptography #Shufflecake #OSCW #OSCW2025 #RWC #rwc2025 #RWPQC #FHE #FHEorg #RWMPC #MPC #MPCalliance #ZK #ZeroKnowledge #zeroknowledge_proofs #ZKproof #ZKhack #HACS #Zcash #sofia #bulgaria

📣 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!

https://shufflecake.net/#20250301-talk-oscw

#Shufflecake #OSCW #OSCW2025 #RWC #rwc2025 #RWPQC #RWPQC #FHE #FHEorg #RWMPC #MPC #MPCalliance #ZK #ZeroKnowledge #zeroknowledge_proofs #ZKproof #ZKhack #HACS #Zcash #sofia #bulgaria

@jcrabapple @kagihq The #firefox addon page appears to 404, as does the blog post with the technical docs mentioned in the help page (https://blog.kagi.com/kagi-privacy-pass). #kagi. I'm definitely interested in how they break linkage between account ownership and the cryptographic tokens. I'm assuming some form of zero-knowledge crypto/proof? #ZeroKnowledge #zkp #ZeroKnowledgeProof #zkproof #cryptography

@kagihq

@neil If they're gonna do age verification, at least do it the way the cool kids are trying to now:

https://www.openpassport.app/

I think this is an actually useful use-case for zero-knowledge proofs.

#cryptography #ZeroKnowledge #zkp #zkproof #OpenPassport

Стартап Fermah, що спеціалізується на розробці універсального шару генерації доказів, залучив $5,2 млн у посівному раунді фінансування.

#Crypto #ZKproof #Інвестиції

https://thetransmitted.com/crypto/fermah-zaluchaye-52-mln-dlya-rozvytku-innovaczij-u-sferi-zk-dokaziv/

Trump has announced one of the executive advisors on his upcoming #cryptocurrency pump and dump which is theoretically launching on Monday: https://x.com/sandyzkp

Sandy is a shitcoiner who apparently is the founder of a zero knowledge proof based ethereum L2¹ called "Scroll". I know way too much about crypto and I've never once heard of Scroll or Sandy Peng but I'm sure her extensive experience at "Crypto Fund" and fluency in mandarin will help Trump's #WorldLibertyFi token 🚀🌕.

¹ If you don't know what that means just know that it's something very, very significantly shadier than even a tier 3 blockchain. like two solar systems away from something like #bitcoin or #ethereum.

#Election2024 #2024Election #Trump #DonaldTrump #JDVance #uspol #uspolitics #politics #Kamala2024 #KamalaHarris #GOP #MAGA #MAGAts #Vote #Republicans #RVAT #Democrats #HarrisWalz2024 #VoteBlue #HarrisForPresident #WLFI #EricTrump #TiffanyTrump #DeFi #zkproof #Scroll #ZKEVM #EVM #SandyPeng #Sandyzkp

Стартап zkMe, що розробляє рішення для забезпечення конфіденційності та безпеки в Web3, успішно завершив посівний раунд фінансування на суму $4 мільйони.

#Crypto #Web3 #ZKproof #Інвестиції #Стартапи

https://thetransmitted.com/crypto/zkme-zaluchaye-4-mln-dlya-stvorennya-deczentralizovanoyi-merezhi-identyfikacziyi/

24 липня мейннет біткоїна успішно перевірив перший доказ із нульовим розголошенням (ZK),  здійснений протоколом ролапів BitcoinOS (BOS).

#Crypto #bitcoin #ZKproof

https://thetransmitted.com/crypto/mejnnet-bitkoyina-otrymav-pershyj-v-istoriyi-veryfikovanyj-zk-dokaz/