Noir

Spent the night playing around with noir again. It's been a few months since I checked it out last, and I feel like it's at the point now where I'm having fun figuring it out. Reminds me of how solidity felt around 2017~2018.

Interested in ZK, FHE, PUFs, hardware, system design, ai safety, and smart contact security.

Need to check out the js tooling next, and if that is a nice experience I can see noir becoming my go to for zk instead of circom

creating and destroying; built flying cars & autonomous vehicles, now building /faust, more here: /july, web: july.rocks

With noir I'm mostly just seeing where the tooling is at. I find the fact that the language is backend agnostic and that there is the ability to plug in different proof systems very cool. I might experiment with recursive proofs for zk state channels if I find the js tooling nice to use

I haven't tried to use zokrates in years. From what I remember the thing that kept me from diving deep into it was that I couldn't figure out how to generate a verifier smart contact or interact via js, which both are probably a lot easier to do now. But I had already become familiar with circom so I didn't branch out much.

What do you think about Zokrates? What is the thing that you’re looking to do right now with noir?