home.social

#zeroknowledge_proofs — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #zeroknowledge_proofs, aggregated by home.social.

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

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

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

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

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

  6. 📣 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

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

  8. 📣 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

  9. 📣 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

  10. 📣 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

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

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

    habr.com/ru/companies/metalamp

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

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

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

    habr.com/ru/companies/metalamp

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

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

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

    habr.com/ru/companies/metalamp

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

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

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

    habr.com/ru/companies/metalamp

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