#ZKproof

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.
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!
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.
youtube.com/live/dNLa5B2ER74

Tommaso Gagliardonitomgag@infosec.exchange
2025-03-01

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.

shufflecake.net/#20250301-talk

In chronological order:

- ZCash Dev Summit forum.zcashcommunity.com/t/zca
- ZKProof 7 zkproof.org/events/zkproof-7-s
- HACS Workshop hacs-workshop.org/index.html
- RWPQC rwpqc.sandboxaq.com/
- FHE Conference fhe.org/conferences/conference
- ZK Hack Meetup lu.ma/0stmji9i
- RWMPC mpcalliance.org/rwmpc-2025
- OSCW opensourcecryptowork.shop/2025/
- RWC 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

The Shufflecake Projectshufflecake@fosstodon.org
2025-03-01

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

shufflecake.net/#20250301-talk

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

2025-01-31

@jcrabapple @kagihq The #firefox addon page appears to 404, as does the blog post with the technical docs mentioned in the help page (blog.kagi.com/kagi-privacy-pas). #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

2025-01-16

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

openpassport.app/

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

#cryptography #ZeroKnowledge #zkp #zkproof #OpenPassport

TheTransmittedthetransmitted
2024-09-17

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

thetransmitted.com/crypto/ferm

⚯ Michel de Cryptadamus ⚯cryptadamist@universeodon.com
2024-09-15

Trump has announced one of the executive advisors on his upcoming #cryptocurrency pump and dump which is theoretically launching on Monday: 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

tweet by WorldLibertyFi

We're proud to welcome Sandy Peng @sandyzkp as our latest advisor.
Co-founder of Scroll, one of the largest L2 for scaling Ethereum. Having been in the space since 2013, Sandy brings a wealth of experience as an blockchain investor and operator, scaling an open source project for social and economic impact to 2B dollars valuation in 3 years. Previous experiences includes, Cambridge, UNHCR, SC and Crypto Fund founder.
TheTransmittedthetransmitted
2024-08-21

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

thetransmitted.com/crypto/zkme

TheTransmittedthetransmitted
2024-07-26

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

thetransmitted.com/crypto/mejn

TheTransmittedthetransmitted
2024-06-27

Український стартап Rarimo представив RariMe, нового конкурента Worldcoin, що використовує докази з нульовим розголошенням (ZK Proofs) для анонімної верифікації особистості.

thetransmitted.com/crypto/rari

TheTransmittedthetransmitted
2024-06-24

Розробники Solana, Light Protocol та Helius Labs представили нове рішення під назвою «ZK Compression», яке покликане значно покращити масштабованість додатків на блокчейні Solana.

thetransmitted.com/crypto/sola

🧿🪬🍄🌈🎮💻🚲🥓🎃💀🏴🛻🇺🇸schizanon
2024-04-24

Internet Computer Protocol (ICP) uses Zero Knowledge proofs, but this requires your code to be compiled to WASM. Since it's math, I don't really understand it. 😅

2024-04-04

Looking for a perfect #web3 warm-up before the Ethereum and Arbitrum Builder Days at the FOSSASIA Summit?

🙌 Join our friends at
#ZKPLabs for ZKP Vietnam Day
🤓 Learn all things #ZKProof
🤝Connect with the local #Ethereum community

Click here for information: lu.ma/0dl4gzxq

See you there!

TheTransmittedthetransmitted
2024-02-28

Проєкт Humanity Protocol, конкурент Worldcoin, що пропонує ідентифікацію особистості за допомогою сканування долоні, отримав інвестиції від Сандіпа Найлвала з Polygon і Ят Сіу з Animoca.

thetransmitted.com/crypto/huma

TheTransmittedthetransmitted
2024-02-21

Платформа інтероперабельності Wormhole планує використовувати чіпи апаратних прискорювачів AMD для масштабування міжланцюгового зв’язку.

thetransmitted.com/crypto/worm

Zk Audiovisual ClubZFAVClub@zeal.center
2023-02-15

Solid recommendations for #Zcash users on blockchain privacy and shielded transactions by Mary Maller at #Zcon0 in 2018 🛡️ #ZKP #zkproof

Still good advice and relevant in 2023!! 🦓

Watch the full presentation 🎥
🛡️ youtube.com/live/dP4dH_aHbdM

Journal du CoinJournalducoin
2022-06-27

Les Soulbound Tokens et
Les présentent tout de même quelques failles dans le cadre d'un déploiement sur .
En effet, cela permettrait à n'importe qui de consulter des informations potentiellement privées.

Journal du CoinJournalducoin
2022-06-27

1. Qu'est-ce qu'un Token (SBT) ?
2. Quelques cas d'utilisations des
3. Le nouveau paradigme de la société décentralisée ()
4. Les Soulbound Tokens et

Client Info

Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst