body { -ms-overflow-style: scrollbar; overflow-y: scroll; overscroll-behavior-y: none; } .errorContainer { background-color: #FFF; color: #0F1419; max-width: 600px; margin: 0 auto; padding: 10%; font-family: Helvetica, sans-serif; font-size: 16px; } .errorButton { margin: 3em 0; } .errorButton a { background: #1DA1F2; border-radius: 2.5em; color: white; padding: 1em 2em; text-decoration: none; } .errorButton a:hover, .errorButton a:focus { background: rgb(26, 145, 218); } .errorFooter { color: #657786; font-size: 80%; line-height: 1.5; padding: 1em 0; } .errorFooter a, .errorFooter a:visited { color: #657786; text-decoration: none; padding-right: 1em; } .errorFooter a:hover, .errorFooter a:active { text-decoration: underline; } #placeholder, #react-root { display: none !important; } body { background-color: #FFF !important; }

JavaScript is not available.

We’ve detected that JavaScript is disabled in this browser. Please enable JavaScript or switch to a supported browser to continue using twitter.com. You can see a list of supported browsers in our Help Center.

Terms of Service Privacy Policy Cookie Policy Imprint Ads info © 2023 Twitter, Inc.

Conversation

✨ Zordle: Wordle, but with ZK proofs for your shared grid! Probably the first end-to-end webapp built using

@ElectricCoinCo

Halo 2! Play it and ZK prove your success at zordle.xyz Notes on Halo 2 and PLONK circuit design at github.com/nalinbhardwaj/ (README)

Embedded video

5:38 PM · Jul 14, 2022

Replying to

Built during

Halo 2 Learning Group (thx to

@ElectricCoinCo

&

@PrivacyScaling

)! Shoutout to

@therealyingtong

for basically hand-holding me through Halo2 circuit writing & to

and

for their work porting Halo 2 prover/verifier to WASM

5

5

45

Since a few people ask every now and then, there is now a guide to compiling halo2 prover/verifiers to WASM (based on zordle) in the official zcash halo2 book: zcash.github.io/halo2/user/was

1

2

8

Replying to

@ElectricCoinCo

and

Incredible! Any primers you'd recommend for starting to get into the math behind ZK proof examples? I've not yet found a good starting foothold beyond handwaving examples.

1

Replying to

@ElectricCoinCo

and

learn.0xparc.org is a great starting point that links out to a lot of other resources as well

learn.0xparc.org

ZK Learning Resources

0xPARC | ZK Learning Resources

1

Show replies

Matt DesLauriers

Replying to

@ElectricCoinCo

and

Nice work. Do you think this would outperform the same zk-SNARK circuit in browser? Or are you mostly interested in Halo2 to avoid trusted setup? Proving & verification was really slow for my M1 Max but worked in the end!

1

Replying to

@ElectricCoinCo

and

ah do you mean proofs using something like snarkjs? the halo2 proofs are also generated in-browser, but are mostly just slow due to the halo2 library not being particularly optimized for wasm (for instance github.com/zcash/halo2/is tracks some of the possible optimisations)

1

1

Show replies

Replying to

@ElectricCoinCo

and

Gonna drop this in the Axios Crypto newsletter today!

Follow how cryptocurrency and blockchain are upending markets and the regulatory shifts. With Brady Dale and Crystal Kim.

1

10

Show replies

Replying to

𝕬𝖇𝖉𝖚𝖑 𝕾𝖆𝖒𝖎 𝕵.

Replying to

@austingriffith

Awesome!

1

Replying to

@ElectricCoinCo

and

Here's my ZK proof that I got the word! zordle.xyz/verify/QmQ5qpT

1

12