Circom and Snarkjs - Jordi Baylina (Iden3)

Filmed at the Zero Knowledge Summit in Berlin on March 22 2019
Circom and Snarkjs - Jordi Baylina (Iden3)
Circom is a DSL language to create generic statments (circuits) to be used in zero knowledge proofs. Snarkjs is an alternative implementation of zkSnarks Pinoccio and Groth16 protocols. It allows to generate proofs and verify them offchain and in the Ethereum chain.
-----------
To Follow the Zero Knowledge Podcast us at www.zeroknowledge.fm
To the listeners of Zero Knowledge Podcast, if you like what we do:
- Follow us on Twitter - / zeroknowledgefm
- Join us on Telegram - t.me/joinchat/B_81tQ57-ThZg8y...
- Support our Gitcoin Grant - gitcoin.co/grants/38/zero-kno...
- Support us on Patreon - / zeroknowledge

[@codeclimbing3827]

This is very cool!

[@AdamSpiers]

This is awesome, thanks! But the circuit and constraints at 3:44 are XOR gates not NAND gates, which is inconsistent with the code shown. For template XOR() presumably it would require out

[@user-mj2vq8lu2y]

Wow!

[@heatherzhang1343]

this is very interesting

[@DevrajSinghRawat]

I have started exploring zk snaks and came across two popular stuff which can help you in zkp generation n verification Zokrates n Circom I am wondering what are advantages on one upon another ? Can anyone provide more information

[@ayobomari8990]

can we use circom in another blockchain without ethereum?

[@portport]

gm

[@hmls3579]

13:17 ViNaRy OtHeR