All three of these projects use procedural generation (and Perlin noise in particular) for efficiently building rich, intricate on-chain worlds.
Jun 5, 2022 • 14 tweets • 5 min read
1/ [New Post] zkREPL: An Online Development Environment for zkSNARKs
@antimatter15 presents zkREPL and a new set of tools for interacting with the Circom toolstack in-browser.
0xparc.org/blog/zkrepl2/ Try out zkREPL at the link below! Build, compile, and test your circuit in-browser in seconds—no installation or dependency management needed. Multiple 0xPARC teams have been using zkREPL to prototype and test complex circuits in the past few months.
@troutspew @fho888 and @henripal present zk-mnist, a convolutional neural net trained on the MNIST dataset that can classify images of numeric digits *inside a SNARK* (you read that right!)
however, zk-mnist is (to our knowledge) the first open source example of running a neural net inside a SNARK
Apr 28, 2022 • 17 tweets • 5 min read
1/ [New post] ZK Identity: Why and How (Part 2)
Primitives for ZK-enabled decentralized identity systems are coming online rapidly. In our last post on the topic, we touched on the “why” of ZK identity. This time, we’ll dive into the “how.”
0xparc.org/blog/zk-id-22/ As a reminder from part 1, SNARKs promise to revolutionize identity online because they (1) allow us to make arbitrary credible claims while (2) maintaining privacy.
Earlier today, @0xB07DAD pointed out a flaw in the current StealthDrop system that allows users to double-claim. The vulnerability (and the fix strategy) are instructive for anyone interested in building ZK systems; the StealthDrop team asked us to share a summary! (1/n)
First, to repeat - community projects like this are *highly experimental* and *not suited for production-grade use* (yet!). We share community projects and encourage teams to open-source these projects for feedback and for educational value, but... (2/n)
[New post] StealthDrop: Anonymous Airdrops Using ZK Proofs
@nibnalin, @yush_g, and Adhyyan S. present StealthDrop, an anonymous airdrop utility using circom-ecdsa, enabling anonymous governance. (1/n)
(post in README of github repo)
0xparc.org/blog
As a proof of concept, all @darkforest_eth players who have linked their address to a twitter handle, and all @ETHUniversity students, can claim a Stealthdrop token on xDAI anonymously at the demo website below: (2/n)
@theyisun, Tony L, @xu3kev, and @gubsheep present an efficient proof-of-concept implementation of zkSNARK circuits for ECDSA algorithms in circom. (1/n)
0xparc.org/blog/zk-ecdsa-1
Our main contribution is the circom-ecdsa repository, which includes a collection of (unaudited) ZK circuits for non-native field arithmetic, secp256k1 curve operations, ECDSA algorithms, and ETH private-key/address operations. (2/n)
We're excited to announce 0xPARC: Program for Applied Research in Cryptography. (1/n)
0xPARC is a new organization supporting decentralized application R&D. We aim to foster a budding community of researchers, developers, thinkers, and builders - a distributed "skunk works" for the Ethereum and decentralized tech ecosystems. (2/n)