how it started / how it's going, crypto security researcher edition

#crypto #uspol #nypol #uspolitics #infosec #cybersecurity #cryptocurrency #ZKP #JohnWoeltz

ZKPoG: We weaponized GPUs to spawn zero-knowledge proofs at RTX 4090 velocity—witnesses forged at quantum speed, privacy delivered in nanoseconds. Trust nothing, prove everything; consensus just got overclocked. 🔥🧬 #infosec #ZKP #CryptoAnarchy
https://eprint.iacr.org/2025/765

The GrapheneOS Exposure
Full video: https://youtu.be/pVjoEENPhsg
#grapheneos #google #ageverification #zkp

Alright time to watch zksummit live streaming 🫡
#zkp

#zkp 不只Google Wallet，Apple Wallet在美國已有數位身分認證的實際應用案例。
在許多州（如亞利桑那州、科羅拉多州、喬治亞州、馬里蘭州、俄亥俄州等）已經允許居民將駕照或州身分證加到Apple Wallet，這些數位證件可在機場TSA安檢、購買酒類、進入有年齡限制的場所等場合用於身分驗證。
例如，加州的行動駕照（mDL）計畫已支援將駕照加到Apple Wallet，並能在機場、商店等地實際使用。
這些應用已經落地，並持續擴展到更多州份和場景。
而日本數位身分證2025年起支援Apple錢包，成美國以外首個開放國家。
那隨著臺灣數位皮夾之後上路，企業身分識別也會有新方法。
https://www.cryptocity.tw/news/zk-tech-google-wallet-digital-id

I was thinking recently about the "wallfacer" idea from the tv series "The 3 Body Problem." I mean, that must be fucking difficult whether you (spoiler alert) choose to accept the position or not.
I guess that the hardest thing about it is that you're resigned to not interacting with the thing that you're trying to study, no matter what the provocation.
But then, I think, "modal logic." Even without an interactive model of phenomenology, it still works. Non-interactive proofs, baby!
#ZKP #3BP

🧮 DFS: Where zkSNARKs meet their distributed destiny. New protocol drops proof gen overhead from 300GB to 500KB, makes private delegation actually usable, and fixes EOS's security holes. Privacy-preserving parallelism just got real. 🌐🔐 #ZKP #MPC

https://eprint.iacr.org/2025/296

🔐 Le Zero-Knowledge Proofs (ZKP) permettono di verificare informazioni senza rivelarle. Privacy, sicurezza e blockchain ne fanno un'innovazione essenziale per il futuro digitale. #ZKP #Blockchain #CyberSecurity
https://t.co/jJF8LdfwqR

@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

📢 **Announcement: I'm starting a new collaboration with Horizen Labs!** 📢

After exactly 6 years of service, yesterday saw the end of my employment at Kudelski Security. Effective immediately, I am joining Horizen Labs in the role of Senior Cryptography Researcher.

https://gagliardoni.net/#newjob_2025

#kudelski #horizen #horizenlabs #crypto #cryptography #zkp #zeroknowledge

First post of our new Smartnets research group blog is up! https://smartnets.etrovub.be/ This post discusses why you should write your own #zkp
#zeroknowledge #crypto #cryptography

🛰️🚫 Flight #ZKP (#FLIGHT DESIGN CT) is squawking radio failure (7600)! ✈️

Track the flight here: https://globe.airplanes.live/?icao=7c8007

#Aviation #ADSB #Emergency

📍zk-SNARKs #zkp
It allows you to mathematically prove that you have executed a certain algorithm and obtained a certain result without revealing the input of this algorithm! It is also very fast and easy to verify this proof.

For example, prove any fact from a document without showing the document itself. Or perform a task on the user's device and send to the server the proof + data that needs to be changed in the server state.

With all the fake content and identities around, this is a very ineresting paper:
"Personhood credentials: Artificial intelligence and the value of privacy-preserving tools to distinguish who is real online". It seems like the same what the EU is building with digital identity/wallet. Although i am not sure the details of implementation are as privacy preserving as this proposal ? 🤔
https://arxiv.org/pdf/2408.07892
#AI #fake #digitalidentity #credentials #ZKP #privacy #AI

後編：ゼロ知識証明、準同型暗号などの高機能暗号を理解するための数学とプログラミングの手引
https://gihyo.jp/article/2024/06/zkp-he-ethereum-bitcoin-cryptography-02?utm_source=feed

#gihyo #技術評論社 #gihyo_jp #ゼロ知識証明 #zero_knowledge_proof #ZKP #準同型暗号 #Homomorphic_Encryption #HE #FHE #Bitcoin #Ethereum #暗号 #高機能暗号 #数学 #代数学

As an aside, zero knowledge proofs will never not seem like magical unicorn powder and fairy dust to me.

#nsdi24 #zkp #zeroknowledge

Обзор Polygon zkEVM: как работает L2 решение для Ethereum

Привет, Хабр! Меня зовут Леша Куценко, я разработчик смарт-контрактов в команде MetaLamp, мой основной стек – Solidity. В этой статье я подробнее расскажу про решение для масштабирования с нулевым разглашением (Zero-knowledge proof), а именно – о блокчейне второго уровня Polygon zkEVM. Как блокчейн решает проблему высокой стоимости газа в транзакциях и использует другие преимущества ZK-Rollups? Ответы на эти и другие вопросы в этой статье. Для более детального понимания Zero-Knowledge Proofs (ZKP), рекомендую обратиться к этой статье в нашей Blockchain-Wiki на Гитхабе. Погнали!:)

https://habr.com/ru/companies/metalamp/articles/801017/

#zkevm #blockchain #Polygon #layer2 #scalability #zkp

Leuven Computing on Encrypted Data Hardware Summit

#FHE #ZKP #Acceleration

May 23rd & 24th

Site: https://belfort.eu/coedhwsummit.html
Registration: https://forms.gle/pyDm5fayKNbe9EFc6
Cost: almost free

#crypto is not about #trust. modern #zkp is not about #trust
Signatures and programmable signatures like #zkp help with #authenticity of data. You should build trust with the source of data via trust protocols, frameworks, and registries.
Trust is more social, cultural, and psychological categories - Trust is not algorithmic.
Trust is more about taking a risk about the future behavior of another party in interaction. So, it is more about your own risk management and decision-making.