#zkproof — Public Fediverse posts

@rebeccawatson There actually *are* ways of performing age verification in a privacy-preserving way, thanks to zero-knowledge proof cryptography:

https://github.com/zkpassport

StRanGeLY tHoUgH, governments don't seem interested in merely knowing that a user truly is >=$some_age, and not knowing anything else about them. They really, *really* wanna know who the perverts^W adults are.

#zkp #zkproof #cryptography #cryptology

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

Bank of England Explores ZK-Proofs for Privacy in Digital Pound Development - The Bank of England has released its latest research highlighting the potential o... - https://cryptonews.com/news/bank-of-england-explores-zk-proofs-for-privacy-in-digital-pound-development/ #bankofengland #definews #zkproof #news

Risc Zero aims to bring blockchain security to ‘any’ off-chain app - Next-gen zero-knowledge proofs are “orders of magnitude” cheaper than ex... - https://cointelegraph.com/news/risc-zero-aims-bring-blockchain-security-off-chain-app #scalability #boundless #risczero #celestia #ethereum #zkproof #layer2 #dex #cex

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

New Proposal Aims to Enhance Dogecoin with Ethereum, Solana-like Web3 Capabilities - Bitcoin scaling protocol QED on Friday proposed a major upgrade for Dogecoin. This change... - https://cryptonews.com/news/dogecoin-proposal-capabilities-ethereum-solana-qed-protocol.htm #dogecoin #zkproof #news #doge

BitcoinOS Just Brought The First ZK Proof To Bitcoin: Here’s Why That Matters - Bitcoin “superlayer” protocol BitcoinOS has now verified the first zero-knowledge proof (... - https://cryptonews.com/news/bitcoinos-first-zk-proof-bitcoin.htm #bitcoinnews #bitcoin #zkproof #rollup

Plonky3, the Polygon Zero-Knowledge Proving System, Is Production Ready - Polygon Labs has announced that its next-generation zero-knowledge (ZK) proving sy... - https://news.bitcoin.com/plonky3-the-polygon-zero-knowledge-proving-system-is-production-ready/ #polygon(matic) #zeroknowledge #newsbytes-5 #newsbytes #zkproofs #zkproof #zk

Starknet to bring on AI agents that can carry out on-chain activity - The Web3 and AI firm Giza plans to bring autonomous bots onto Starknet b... - https://cointelegraph.com/news/starknet-brings-autonomous-giza-ai-agents-to-blockchain #blockchain #autonomous #aiagent #zkproof #crypto #ai

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. 😅

#icp #internetComputerProtocol #zkproof #zeroKnowledge #computerScience #web3 #internetComputer

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: https://lu.ma/0dl4gzxq

See you there!

Axiom Secures $20 Million in Series A Funding Round - Axiom announced a $20 million Series A funding round led by Paradigm and Standard ... - https://news.bitcoin.com/axiom-secures-20-million-in-series-a-funding-round/ #cryptocurrency #fundingraise #ethereum #finance #zkproof #crypto

Polygon Introduces ‘AggLayer,’ Aims to Simplify Blockchain Integration Across Platforms - Polygon Labs plans to release “AggLayer,” a new blockchain aggregation layer, in F... - https://cryptonews.com/news/polygon-introduces-agglayer-aims-to-simplify-blockchain-integration-across-platforms.htm #polygon #zkproof #news

Verida to Transform Digital Privacy Through Partnerships and Technology: Interview with Chris Were - Pixabay
Decentralized digital identity provider, Verida has rolled out several pro... - https://cryptonews.com/news/verida-to-transform-digital-privacy-through-partnerships-and-technology-interview-with-chris-were.htm #blockchainnews #privacy #zkproof #verida #news

mastodon.social booted me off citing "xenophobia and incitement of violence" when I posted a gimped comic critical of israel. please follow me here. I am an anarchocommunist software engineer. check out and contribute to the project I'm building: https://argonsuite.org is a collection of tools for direct democracy.

#anarchy #anarchism #anarchist #communist #communism #common #anarchocommunism #anarchocommunist #libertarian #left #gauche #izquierda #sinistra #anarchia #comunismo #communisme #bike #bicycle #cycling #velo #bici #biking #hiking #trek #walk #train #trains #software #dev #developer #developers #devs #engineer #computer #network #programming #system #systems #linux #democracy #directdemocracy #solana #ubi #universalbasicincome #freedom #free #liberta #libre #liberdade #libertarianism #weed #marijuana #smoke #green #pot #joint #spliff #nuclear #energy #progress #progressive #progressivism #accelerationism #tryptamine #lsd #acid #hallucinogenics #hallucinogenic #reading #reader #read #books #book #literature #essays #research #information #learning #academia #university #student #worker #labor #labour #proletarian #proletariat #marx #gorz #malatesta #gay #gayboy #blockchain #rust #rustlang #react #nextjs #web #app #apps #webdev #webdesign #token #crypto #cryptography #micali #silviomicali #zkproof #zeroknowledge #zkproofs #petition #petitions #elections #referendum #census #council #lottocracy #representation #opensource #freesoftware #foss #floss #freeassange #palestine #freepalestine #acab

Privacy-focused Aleo blockchain gets new wallet as mainnet launch approaches - The wallet developer also raised $4.5 million from HackVC and ot... - https://cointelegraph.com/news/privacy-focused-aleo-blockchain-gets-new-wallet-as-mainnet-launch-approaches #zeroknowledgeproof #zkproof #privacy #wallet #aleo #leo

It’s interesting how many players are converging to similar solutions. My bet is that everyone will use Arkworks and probably Fin/Narwhal or Hotstuff in a few months/year.
---
RT @kostascrypto
Sui welcomes Zero Knowledge Proofs!
You can now attach Groth16 ZKP proofs in your transactions. Our backend combines Arkworks w/ BLST which resulted in a 2X verification performance speed boost! #crypto #blockchain #ZKProof @SuiNetwork

https:/…
https://twitter.com/kostascrypto/status/1593748002421678081

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

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