In this week’s episode, Anna (https://twitter.com/AnnaRRose) and Robert Habermeier (https://twitter.com/rphmeier) chat with Pratyush Mishra (https://twitter.com/zkproofs), co-author of the Arkworks toolkit. Arkworks is a collection of Rust libraries designed to simplify development with SNARKs, both for developing high-level application circuits and building custom SNARK implementations.
Pratyush lays out what possibilities and trade-offs Arkworks offers, diving into the details of the Rust implementation and why it is the best language for developing cryptographic primitives. Anna, Rob and Pratyush then branch out into the philosophical and practical questions of open-source and blockchain development.
Here are a few links to Arkworks and the topics they discussed:
Arkworks GitHub (https://github.com/arkworks-rs) page and Telegram (https://t.me/joinchat/FqkNt8u_OenonTJ4) group.
Pratyush’s GitHub (https://github.com/Pratyush), Twitter (https://twitter.com/zkproofs) and Berkeley (https://people.eecs.berkeley.edu/~pratyushmishra/) pages.
Bellman (https://github.com/zkcrypto/bellman) and Libsnark (https://github.com/scipr-lab/libsnark), some of the other libraries that are similar to Arkworks.
The Celo (https://docs.celo.org/overview) and Mina (https://minaprotocol.com/docs) protocols, two major projects using Arkworks.
Here (https://medium.com/cornellblockchain/a-brief-dive-into-zk-snarks-and-the-zokrates-toolbox-on-the-ethereum-blockchain-cb7bd7f00fdc) is a basic explainer of what projects like Arkworks are trying to do and why it’s useful, with a particular focus on ZoKrates, one of the languages Pratyush mentioned.
Intros to Circom (https://iden3.io/circom), Leo (https://developer.aleo.org/developer/getting_started/overview/) and Zinc (https://github.com/matter-labs/zinc), some of the higher level languages.
An earlier episode with Robert Habermeier (https://www.zeroknowledge.fm/83) about the work he does on Polkadot.
Be sure to subscribe to the zkMesh Newsletter (https://zkmesh.substack.com) - a monthly rundown of the latest in decentralised privacy-preserving technologies, privacy protocol development and zero knowledge systems research. Put together by Anna & Mikerah (HashCloak).
Thank you to this week’s sponsor Least Authority (https://leastauthority.com).
Least Authority is a security consulting and product development company known for pushing the limits on how to build privacy-respecting solutions. They are a team of security researchers, open source developers, privacy advocates and cryptographers. They have developed an end-to-end encrypted cloud storage product that minimizes the collection of any data related to its users, called PrivateStorage (https://privatestorage.io/).
PrivateStorage implements privacy and security by design, not by policy.
PrivateStorage is based on Tahoe-LAFS an open source distributed file store
PrivateStorage is launching in the second half of this year. Visit PrivateStorage.io (https://privatestorage.io/) to learn more and to sign up to be notified about its release.
*If you like what we do: *
Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm)
Join us on Telegram (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA)
Catch us on Youtube (https://www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)
Read up on the r/ZKPodcast subreddit (https://www.reddit.com/r/zkpodcast)
Give us feedback! https://forms.gle/iKMSrVtcAn6BByH6A
Support our Gitcoin Grant (https://gitcoin.co/grants/329/zero-knowledge-podcast-2)
Support us on the ZKPatreon (https://www.patreon.com/zeroknowledge)
Donate through coinbase.commerce (https://commerce.coinbase.com/checkout/f1e56274-c92b-4a99-802f-50727d651b38)
*Or directly here: *
ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a
BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz
ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ