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(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 Elo 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 Heinä 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 Heinä 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 Heinä 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 Heinä 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 Kesä 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 Kesä 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 Kesä 1h 7min

Suosittua kategoriassa Koulutus

rss-murhan-anatomia
psykopodiaa-podcast
voi-hyvin-meditaatiot-2
rss-arkea-ja-aurinkoa-podcast-espanjasta
rss-vapaudu-voimaasi
kesken
adhd-podi
ilona-rauhala
rss-liian-kuuma-peruna
aamupore
jari-sarasvuo-podcast
rss-koira-haudattuna
psykologia
rss-hereilla
leikitaanko-laakaria
rss-tietoinen-yhteys-podcast-2
rahapuhetta
rss-niinku-asia-on
aamukahvilla
rss-metropolia-ammattikorkeakoulu