ZK10: Halo2, Noir or Circom? Exploring DSLs as an app developer - Richard Liang

This was recorded at the ZK10 - Zero Knowledge Summit 10 on Sept 20 2023 in London.
www.zksummit.com/
Title: Halo2, Noir or Circom? Exploring DSLs as an app developer
Speaker: Richard Liang
ZK unlocks 100x the design space for devs in crypto, such as in DeFi, NFTs, governance. However despite the infra advancements, it’s still very difficult to onboard onto building fullstack ZK apps. There are many DSLs, each with its quirks, different stages of tooling (WASM, crypto libraries) and tradeoffs to using its underlying proving stack (UltraPlonk, Halo2 PSE, groth16). I picked up some of these little things the last half year building apps and libraries in Noir, Halo2 and Circom. I’d like to share these learnings / reflections with new ZK app devs which hopefully can help make more informed choices!
-----------
If you are looking to jump into ZK professionally, check out the ZK Jobs board to find job posts from some of the top teams working in ZK - jobsboard.zero...
------------
If you like what we do:
- Subscribe to our podcast newsletter - zeroknowledge....
- Follow us on Twitter @zeroknowledgefm
- Join us on Telegram - zeroknowledge....

[@nomonade]

thanks nice talk!

[@arnet95]

One minor thing I noticed: Addition isn't necessarily free if you use R1CS, it depends on the specific SNARK backend you use. For example, Marlin uses R1CS, but addition gates aren't free in Marlin.

[@na3aga]

nice, valuable experience sharing!!!!

[@danicuki]

Great presentation. I learned a lot! Thanks.