Arkworks SNARK libraries with Pratyush Mishra
Zero Knowledge24 Feb 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

Denne episoden er hentet fra en åpen RSS-feed og er ikke publisert av Podme. Den kan derfor inneholde annonser.

Episoder(421)

Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady

Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady

This week, Anna and Guillermo are joined by Patrick O'Grady, founder of Commonware. They discuss his journey from Coinbase and Avalanche to building Commonware, a Rust library of composable primitives...

5 Aug 1h 12min

Private Information Retrieval (PIR) with Alex Hoover

Private Information Retrieval (PIR) with Alex Hoover

In this episode, Anna and Kobi are joined by Alex Hoover, cryptographer and Assistant Professor at Stevens Institute of Technology. They explore Private Information Retrieval (PIR)—a cryptographic pri...

29 Jul 1h 4min

Alex Ozdemir on where Theorem Provers and ZK meet

Alex Ozdemir on where Theorem Provers and ZK meet

This week, Anna and Nico are joined by Alex Ozdemir, Assistant Professor at Georgia Tech, to explore the intersection of formal verification and zero knowledge. They begin by revisiting the evolution ...

15 Jul 1h 1min

Sergey Gorbunov on TEEs and the Arc Privacy Sector

Sergey Gorbunov on TEEs and the Arc Privacy Sector

This week, Anna speaks with Sergey Gorbunov, Engineer at Circle, about Arc, Circle’s new EVM-compatible Layer 1 blockchain, and its approach to a TEE based on-chain privacy. They begin by revisiting S...

8 Jul 1h 7min

zkMesh+ Exclusive Clip – Benedikt Bünz on the threat of AI

zkMesh+ Exclusive Clip – Benedikt Bünz on the threat of AI

Last week on the show, we interviewed Benedikt Bünz, Chief Scientist at Espresso Systems and Professor at NYU. The conversation ran long, so we're releasing some of the extra material as an exclusive ...

1 Jul 6min

Pushing the Limits of Proof Systems with Benedikt Bünz

Pushing the Limits of Proof Systems with Benedikt Bünz

In this episode, Anna and Kobi speak with Benedikt Bünz, Chief Scientist at Espresso Systems and Professor at NYU. They start with a quick update on Espresso's architecture, its role in delivering fas...

24 Jun 1h 8min

Announcement: zkMesh+ Exclusive Clip – Vericoding and SMT

Announcement: zkMesh+ Exclusive Clip – Vericoding and SMT

No main episode this week, but we’ve got an exclusive bonus clip for our zkMesh+ subscribers! Continuing our conversation from last week, Wyatt Benno (ICME) describes the world of 'vericoding' - the n...

18 Jun 1min

Building ZK-Powered AI Guardrails with Wyatt Benno

Building ZK-Powered AI Guardrails with Wyatt Benno

In this episode, Anna and Nico chat with Wyatt Benno, technical founder of ICME Labs. They trace Wyatt’s start into ZK in the ZKHack Discord and Justin Thaler’s study group before diving into ICME’s e...

10 Jun 1h 7min

Populært innen Fakta

fastlegen
dine-penger-pengeradet
relasjonspodden-med-dora-thorhallsdottir-kjersti-idem
treningspodden
foreldreradet
jakt-og-fiskepodden
mikkels-paskenotter
rss-strid-de-norske-borgerkrigene
rss-kunsten-a-leve
sinnsyn
hverdagspsyken
gravid-uke-for-uke
fryktlos
ryddepodden
babyverden
rss-var-forste-kaffe
tomprat-med-gunnar-tjomlid
rss-sarbar-med-lotte-erik
lederskap-nhhs-podkast-om-ledelse
rss-impressions-2