Ok, been reading more on #zeroknowledge_proofs and I think the Fiat-Shamir method is the way.

It would go something like this:

* A publishes commitment using the QSO data as the secret
* B publishes commitment using the same QSO data
* Those commitments should match but each has a different 'first message' b/c of random seed
* A sees a matching commitment and sends a challenge [1] to B
* B publishes a proof
* A verifies the proof and reveals the QSO

[1] B also sends a challenge to A, etc

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

Shufflecake

📣 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

Shufflecake

Circom и SnarkJS: Практическое руководство по созданию схем и Zero-Knowledge Proofs

Привет! В этой статье я расскажу про язык программирования Circom, созданный для разработки арифметических схем, которые лежат в основе доказательств с нулевым разглашением (Zero-Knowledge Proofs, ZKPs). Почему он так удобен для разработчиков и какие инструменты предлагает – читайте в этом практическом руководстве.

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

#circom #SnarkJS #ZeroKnowledge_Proofs #zksnarks #криптография #Приватные_транзакции #блокчейн #Smart_Contracts

Circom и SnarkJS: Практическое руководство по созданию схем и Zero-Knowledge Proofs

Привет! В этой статье я расскажу про язык программирования Circom, созданный для разработки арифметических схем, которые лежат в основе доказательств с нулевым разглашением (Zero-Knowledge Proofs,...

Хабр