Arkworks SNARK libraries with Pratyush Mishra
Zero Knowledge24 Helmi 2021

Arkworks SNARK libraries with Pratyush Mishra

In this week’s episode, Anna and Robert Habermeier chat with Pratyush Mishra, 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 page and Telegram group.


Pratyush’s GitHub, Twitter and Berkeley pages.


Bellman and Libsnark, some of the other libraries that are similar to Arkworks.


The Celo and Mina protocols, two major projects using Arkworks.


Here 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, Leo and Zinc, some of the higher level languages.


An earlier episode with Robert Habermeier about the work he does on Polkadot.


Be sure to subscribe to the zkMesh Newsletter - 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.


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.


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 to learn more and to sign up to be notified about its release.


*If you like what we do: *


Follow us on Twitter @zeroknowledgefm


Join us on Telegram


Catch us on Youtube


Read up on the r/ZKPodcast subreddit


Give us feedback! https://forms.gle/iKMSrVtcAn6BByH6A


Support our Gitcoin Grant


Support us on the ZKPatreon


Donate through coinbase.commerce

*Or directly here: *


ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a


BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz


ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ

Read transcript

Tämä jakso on lisätty Podme-palveluun avoimen RSS-syötteen kautta eikä se ole Podmen omaa tuotantoa. Siksi jakso saattaa sisältää mainontaa.

Jaksot(429)

When Math Meets Auto Research with Bartosz Naskręcki

When Math Meets Auto Research with Bartosz Naskręcki

This week, Anna and Tarun are joined by Bartosz Naskręcki, mathematician and professor at Adam Mickiewicz University and researcher at the Centre for Credible AI, to explore how AI agents are transfor...

11 Marras 1h 16min

From Nova to Magnetar: Three Years of Research with Srinath Setty

From Nova to Magnetar: Three Years of Research with Srinath Setty

This week, Anna and Nico catch up with Srinath Setty, researcher at Microsoft. They look back at his research since his work on Nova, spanning lattice-based folding, zero-knowledge identity proofs, an...

28 Loka 50min

zkGolf: AI, Clean and Optimising ZK Circuits with zkSecurity

zkGolf: AI, Clean and Optimising ZK Circuits with zkSecurity

This week, Anna is joined by Nico and Kobi to speak with Mathias Hall-Andersen and Giorgio Dell'Immagine from zkSecurity about zkGolf, a competition challenging humans and AI agents to build the most ...

21 Loka 1h 11min

Exploring the Lasers that Power Quantum Computers

Exploring the Lasers that Power Quantum Computers

This week, Anna and Guillermo chat with Josh Yang, CEO and co-founder of Brightlight Photonics, about the lasers that power quantum computers. Josh explains how lasers are used in neutral atom and oth...

7 Loka 1h 15min

JP Aumasson on Quantum Risk, AI Attacks and Too Much Crypto

JP Aumasson on Quantum Risk, AI Attacks and Too Much Crypto

This week, Anna, Tarun and Nico are joined by JP Aumasson, co-designer of BLAKE3, author of Serious Cryptography and cryptography engineer at Cloudflare. They revisit the quantum threat to cryptograph...

30 Syys 57min

Auto Research on Yukon with Soubhik Deb

Auto Research on Yukon with Soubhik Deb

This week, Anna is joined by Soubhik Deb, Head of Research at EigenLabs, to explore Yukon, a platform for collaborative AI-powered research. Soubhik traces the project’s origins to ECDSA.fail, a compe...

23 Syys 1h 6min

Ron Rothblum on Fiat-Shamir Attacks, Flock and SNARK.fast

Ron Rothblum on Fiat-Shamir Attacks, Flock and SNARK.fast

This week, Anna and Kobi are joined by Ron Rothblum, Professor of Computer Science at Technion and researcher at Succinct. They catch up on Ron’s move from theory into practice, including his work on ...

16 Syys 1h 1min

The Evolution from ZKP2P to Peer with Richard Liang

The Evolution from ZKP2P to Peer with Richard Liang

This week, Anna catches up with Richard Liang from Peer, formerly ZKP2P. They trace the project’s evolution over the past two years, from their initial ZKP2P product that used ZK email proofs to conne...

9 Syys 46min

Suosittua kategoriassa Koulutus

rss-murhan-anatomia
aamukahvilla
psykopodiaa-podcast
voi-hyvin-meditaatiot-2
rss-hereilla
rss-suomen-aa-podcast
aloita-meditaatio
rss-liian-kuuma-peruna
adhd-podi
kesken
rss-luonnollinen-synnytys-podcast
rss-vapaudu-voimaasi
psykologia
rss-arkea-ja-aurinkoa-podcast-espanjasta
rahapuhetta
ihminen-tavattavissa-tommy-hellsten-instituutti
leikitaanko-laakaria
jari-sarasvuo-podcast
rss-duodecim-lehti
rss-narsisti