1/ [New Post] Programmable Cryptography (Part 1) by
@gubsheep
Programmable Cryptography is a "second generation" of cryptographic primitives.
What makes these primitives so powerful, and how might they reshape the Internet in the next 1-2 decades?
[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)
(1/n) 0xPARC: Applied ZK Learning Group
Developers from Ethereum Foundation and 0xPARC are facilitating a small "applied ZK learning group" for engineers interested in learning about zero-knowledge cryptography and its applications.
Apply by Fri Nov 19
1/ [New Post] This Spring, 0xPARC and
@ethereum
Foundation
@PrivacyScaling
team will be co-hosting the ZK Spring Residency in Ho Chi Minh City, Vietnam, from March 13th to April 7th. Details (and link to apply by Fri Feb 3) below.
[New post] zkSNARKs for ECDSA (Part 1)
@theyisun
, Tony L,
@xu3kev
, and
@gubsheep
present an efficient proof-of-concept implementation of zkSNARK circuits for ECDSA algorithms in circom. (1/n)
1/ [New Post] ZK Machine Learning
@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!)
[APPLY BY FRIDAY 3/4] 0xPARC Applied ZK Learning Group
#2
We'll be running our second Applied ZK Learning Group from 3/14 - 4/8. See the post below (and this thread) for details on the program, including how to apply. (1/n)
This May we invite developers & game builders around the world to join us on the quest for Autonomous Worlds with
@0xPARC
&
@latticexyz
.
Onchain games and tooling can unleash new possibilities yet to be fathomed. Are you ready?
🌐 Apply to hack here:
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.”
1/ [Community Post] ETHdos: A fun social experiment uniquely enabled by Recursive zkSNARKs
Adhyyan,
@nibnalin
,
@sampriti0
&
@viv_boop
share ETHdos: proving degrees of separation in social graphs (like Erdos numbers) while hiding friendship edges!
[New Post] Recursive zkSNARKs: Exploring New Territory
@nibnalin
and the zkPairing team (
@jonathanpwang
@theyisun
@vvhuang
) present a Recursive zkSNARK implementation in Circom/groth16, and discuss the unique properties + apps enabled by recursion. 1/
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.
Autonomous Worlds are not just worlds that happen to exist onchain, but worlds that could not exist otherwise.
Announcing the Autonomous Worlds Network, a
@0xPARC
organisation that seeks to uncover and advance the plot of these worlds.
We are co-hosting an Applied ZK Workshop with the
@ethereum
foundation
@PrivacyScaling
team on September 2 at Stanford University, following the Science of Blockchain Conference.
Featuring ZK teams from across the ecosystem - apply below by August 12!
1/ [Announcing the Autonomous Worlds Hackathon]
on May 18,
@ETHGlobal
,
@0xPARC
and
@latticexyz
will be hosting a 5-day online hackathon on the theme of AWs. Join us to explore the frontiers of onchain games, virtual worlds, and their tooling & scaling
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)
1/ [APPLY BY WEDS 6/1] Halo2 Learning Group
We'll be running a learning group from 6/13 - 7/8 focused on PLONK and Halo2. See the post below (and this thread) for details on the program and how to apply.
Earlier applications will be prioritized first.
1/ [New Post] On-chain Procedural Generation
@nibnalin
and
@gubsheep
present a new blog post on the use of procedural generation for on-chain game world building.
⏰ We are closing in on the deadline for Builder & Student applications for Progcrypto at Devconnect! Application links in the post below👇
🙋Not a builder or a student? Get your ticket here:
🚀 Calling all builders and students! Join us at Progcrypto, co-organized by PSE and
@0xPARC
at Devconnect. Explore SNARKs, STARKs, MPC, FHE, and more.
⏰Builder application deadline is September 10th! Tickets for builders are only $50.
1/ [DEVCON 🇨🇴]
@0xPARC
is hosting two sessions on Autonomous Worlds and on-chain games at Devcon Bogotá this coming week, joined by
@latticexyz
,
@d_fdao
,
@movingcastles_
and more. Read on to see what we have in store 🧵
📣 Announcing Autonomous Worlds Assembly & Programmable Cryptography Conference.
At
@EFDevconnect
, we’re co-hosting the Autonomous Worlds Assembly with
@autonomousworld
and the Progcrypto Conference with
@PrivacyScaling
team.
1/ [APPLY BY AUG 26] Autonomous Worlds Residency
We are running an Autonomous Worlds residency in London, UK from mid-September to mid-December. See the post below (and this thread) for details on the program and how to apply.
1/ [New Post] SNARKS for optimized Batch ECDSA Verification 🏎️
@pumatheuma
and
@jtguibas
present batch ECDSA verification in circom, a primitive that could help reduce costs for calldata-heavy applications such as rollups and more.
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)
1/ [New Post] zkPairing Part 2: Technical Explainer
@jonathanpwang
,
@vvhuang_
, and
@theyisun
explain some of the techniques and optimizations behind circom-pairing, many of which are drawn from prior work in zk-ECDSA.
[Book release] You might have heard about an Autonomous World book published by 0xP circulating at hackathons and conferences. The physical copy of the book is now available for anyone to purchase.
The
@autonomousworld
team worked on getting Autonomous Worlds N1 copies available
1/ 📢 We’re less than six weeks out from the Programmable Cryptography Conference
@EFDevconnect
(Nov 16 & 17). Meet some of the projects and speakers who will be presenting at PROGCRYPTO in this thread!
(Tickets to PROGCRYPTO available at the link below)
1/ [APPLY BY 11/18] 0xPARC's Proof Aggregation, Recursion and Composition (PARC) Squad is a cross-team, full-stack effort to advance recursion, composition and aggregation capabilities of modern proof systems, and to bring PARC applications to production.
We are co-hosting an Applied ZK Workshop at
@EFDevconnect
with the EF
@PrivacyScaling
team, bringing teams together to learn about the latest developments in the ZK application landscape.
This event has limited capacity. Apply below by 3/25! (1/n)
[New post] Sequoia NFT Proceeds for 0xPARC and Gitcoin Public Goods
0xPARC is helping
@Sequoia
Capital to allocate 100% of the proceeds (~200ETH) from their recent YouTube Memo NFT sale for funding crypto public goods. (1/n)
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)
We'll be helping
@Sequoia
to donate their auction proceeds to public goods funding, via donations to
@gitcoin
and
@clrfund
matching pools and dev grants
This commitment from sequoia is a vote of confidence for the importance of PGF - excited to see more energy in this space!
We’re trying an experiment today: auctioning our 2005 YouTube memo as an NFT. Anyone can bid from now through 12/7, and proceeds will benefit
@0xPARC
’s public ecosystem fund. The winner will have 100% ownership.
[New Post] zk-ECDSA Part 2: Under the Hood
@theyisun
, Tony L,
@xu3kev
, and
@gubsheep
dig into some of the building blocks behind circom-ecdsa, many of which are being used in other ongoing projects. (1/n)
The agenda for this weekend's Applied ZK Workshop at
@EFDevconnect
is now available online. Featuring demos, presentations, and workshops on circuit primitives, proof-of-concept applications, tooling and infra, circuit verification, and more. (1/2)
fully on-chain jrpg/autochess combat in [redacted]
possibilities are endless: selling on-chain strategies (you can script your squad in solidity), renting creatures, DAOs paying mercenary contracts for protections,,,
we are gonna eat axie with oss and interop
1/ 📢 Two days to go until the Programmable Cryptography Conference at
@EFDevconnect
(Nov 16-17)! A final thread to highlight some of the programming and arcs below. 🧵👇
(FULL SCHEDULE and tickets available at )
We'll be hosting fifteen incredible teams from across the ZK ecosystem at the
#DevconVI
ZK Community Hub, from Tuesday through Friday. Stop by the Community Hub area (Floor 1, left of registration area) to check out these groups! 1/
(details in replies)
[New community post] Personae Labs
@lakshmansankar
and
@viv_boop
introduce
@personae_labs
, a new 0xPARC ecosystem team exploring the implications of cryptographic primitives like ZKPs for digital communication. 1/
[New community post] Index Supply
Ryan Smith introduces
@indexsupply
, a new 0xPARC ecosystem team exploring the frontier of Ethereum data access & indexing 1/
1/ [New Post] Ecne: Automated Verification of ZK Circuits
@franklyn_wang
presents Ecne, the first tool for proving soundness of R1CS constraints compiled from ZK circuits.
1/ 📢 We’re five weeks out from the Programmable Cryptography Conference at
@EFDevconnect
, Nov 16 - 17.
This week, we’re highlighting researchers & cryptographers who will be sharing recent research developments at PROGCRYPTO!
(Tickets available at )
Kicking things off is the ZK Tech round, with up to $150k in matching funded by
@ZKValidator
,
@0xPARC
,
@Figment_io
, and more. This is the 3rd consecutive ZK Tech round on Gitcoin, for projects advancing the ZK tools, libraries, community and/or protocols. 💻
/11
If you're a student interested in building on decentralized tech - spend a week building at the program which brought together the
@darkforest_eth
,
@ETHUniversity
, and
@0xPARC
teams!
Hack Lodge is back for its 6th season!
Hack Lodge is summer/winter camp for hackers. We get a big AirBnB, bring in 20 undergrads, and spend a week learning and building together with the ultimate goal of shipping projects in teams of 2-4. (1/n)
Hey
@EFDevcon
attendees! We will be co-hosting a full-day Applied ZK workshop with EF
@PrivacyScaling
on Thrusday 10/13.
#DevconVI
Location: Main venue, Floor 2 Workshop room 1.
Full agenda linked below - or see the rest of this thread for details! 1/
One of our core beliefs is that the next step function in Eth apps won't come from doing existing stuff better—-it will come from being able to do new things that weren't possible before. We hope to foster this innovation in a community-oriented way. (8/n)
"R&D" includes explorations into novel cryptographic constructions for decentralized apps: for example, using new techniques in zero-knowledge cryptography to build MMO games, data markets, identity/reputation systems, and more. (5/n)
1/ [New post] NightMarket: A zkMarketplace on Dark Forest
@0xSage
and
@xyz_pierre
present an encrypted data marketplace where
@darkforest_eth
players can privately buy / sell planet coordinates using SNARKs. Inspired by
@nick_ulven
's EthDataMarketplace.
9/ We're working with devs from Ethereum Foundation
@PrivacyScaling
,
@Scroll_ZKP
, and
@zcash
who have volunteered their time to help onboard this new cohort of Halo2 developers.
2/
@gubsheep
is co-founder of
@0xPARC
. He is the creator of
@darkforest_eth
, the world’s first incomplete information blockchain game. He directs 0xPARC’s applied cryptography efforts, focusing on infrastructure, identity, education, and more.
1/ [New Post] This Spring, 0xPARC and
@ethereum
Foundation
@PrivacyScaling
team will be co-hosting the ZK Spring Residency in Ho Chi Minh City, Vietnam, from March 13th to April 7th. Details (and link to apply by Fri Feb 3) below.
These circuits are among the largest and most complex that our community members have ever built so far. You can see a full set of benchmarks below—a single tatepairing circuit requires nearly 25 million constraints to properly constrain! (13/n)
"Shared infrastructure" means open-source work on the developer tools, packages, and other public goods that make it possible to build these decentralized applications. (6/n)
6/6
@VitalikButerin
is co-founder of Ethereum. Vitalik will help open PROGCRYPTO with a keynote (day 1) and panel (day 2) discussing the future of Ethereum and programmable cryptography.
We hope to see you there! GA and discounted Builder tickets below.
First up - the Future of Proving Systems session will take place from 10AM - 1PM, focusing on next-generation ZK proving systems and tools. 2/
(Add this session to your Devcon calendar with the link below!)
Five days left to donate to
@gitcoin
GR13, and to have your donations matched up to 200x - yes, TWO HUNDRED TIMES - by our ZK matching pool! Here's a thread with a few projects we're excited about: (1/n)
2/ AW Arcade: running on Wednesday Oct 12th from 4pm to 7pm Colombia time. Participants will be able to try their hands on two new Autonomous World projects built by
@latticexyz
using MUD: an on-chain 3D voxel world and a real-time strategy game.
info:
8/ The Universal Protocol
Imagine a Universal Cryptographic Protocol for all digital data: social data, digital identity, financial data, medical data, etc.
Any website or machine on the Internet can verify, understand, and consume data that conforms to the protocol.
On Wednesday 10/12, drop by between 10:30AM and 6PM for discussions, office hours, and interactive demos with zKonduit,
@personae_labs
,
@Scroll_ZKP
,
@VeridiseInc
, and Circom 3/
Nalin, Aayush, and Adhyyan built StealthDrop at Hack Lodge in early January. Hack Lodge is a "hacker house" program for undergraduates, supported by
@0xPARC
,
@neo
(not the blockchain),
@ETHUniversity
, and more. (13/n)
"Education and community-building" means programs and events that activate new developers, writers, thinkers, and builders, and which bring contributors from different parts of the ecosystem together to share knowledge. (7/n)
Next, the ZK Applications Showcase from 1PM - 4PM will feature teams working on ZK-enabled apps from across the ecosystem, including ZK identity primitives and ZK machine learning demos. 3/
(Add this session to your Devcon calendar with the link below!)
2/
@latticexyz
,
@darkforest_eth
, and
@0xPARC
have been collectively building towards Worlds with hard diegetic boundaries, formalized introduction rules, and autonomy.
In this essay, ludens defines a shared vocabulary for building Worlds with a Blockchain-substrate.
StealthDrop combines the
@0xPARC
community's implementation of zkSNARKs for ECDSA with a
@TornadoCash
and Semaphore-like construction and a few other tricks to enable truly anonymous governance. (5/n)
We've sent decisions to everyone who filled out the interest form. If you didn't receive an email, please check your spam folder.
We received more interest than anticipated and are planning to run a second iteration of the learning group in 2022. More details to come!
(1/n) 0xPARC: Applied ZK Learning Group
Developers from Ethereum Foundation and 0xPARC are facilitating a small "applied ZK learning group" for engineers interested in learning about zero-knowledge cryptography and its applications.
Apply by Fri Nov 19
One weakness is the muddling between identity and governance. If everyone knows that vitalik.eth has voted "No" on a proposal, how does that influence the opinion of the rest of the community? Does everyone still consider the impact of the proposal fairly and independently? (7/n)
2/ Building AWs used to be a massive undertaking;
@darkforest_eth
took 1+ yr to make and was hard to modify.
@latticexyz
’s MUD framework was created to solve this and, with OPCraft, showed it’s possible to build an AW from scratch in the span of a month or even a hackathon
We will be co-running the GR13 ZKTech round with
@ZKValidator
, to showcase and support a number of exciting new ZK crypto projects. Excited to help bring more public goods funding to ZK!
Now that you’ve been
#Greenpilled
... we’re gonna fill you in on a not-so-secret secret… Grants Round 13 starts on March 9!🟡
🟡We're only 2.5 weeks away 🟡
A record-breaking 10 rounds are queued up this quarter, with over $1m in matching funds committed so far...
/1
[New post] Gitcoin GR13: ZKTech Matching Round
@Gitcoin
GR13 starts tomorrow, and we're partnering with
@ZKValidator
to help administer the ZKTech matching pool! (1/n)
For those who aren't able to attend in-person, morning sessions will be streamed and recorded at the link below.
Thanks to our co-hosts from Ethereum
@PrivacyScaling
@EFDevconnect
teams for making this event possible! (2/2)
zkSNARKs for ECDSA enable users to make claims like:
- I own a
@darkforest_eth
NFT, but I won't tell you which one.
- I possess enough signed votes to pass a DAO proposal, but I won't reveal the IDs of the voters.
- I can claim an airdrop, but I won't reveal my address.
(3/n)
END/ Ye Zhang
@yezhang1998
is a co-founder of
@Scroll_ZKP
. His research primarily focuses on hardware acceleration for zero-knowledge proofs and theoretical proving algorithms. Ye will discuss how zero-knowledge proof systems may evolve to support the next generation of zkEVMs.
This toy example enables BLS verification on the EVM, which currently isn’t (easily) possible. And it’s easy to see how this could be expanded—one could imagine SNARK proofs of components of the entire Ethereum proof-of-stake consensus algorithm. (4/n)
On the other end of the spectrum, when someone with a public identity deviates from the norm and casts a vote others in the community don't like, they end up exposing themselves to harassment on Twitter and other social media. (8/n)
[DEVCON] "Frontier of Autonomous Worlds" panel starting soon at Workshop 1 floor 2!
we'll have
@justinglibert
@_alvarius
@gubsheep
@kevinjho_
talk about the future of on-chain gaming and app-specific scaling.
Firstly, why bother with private airdrops? For starters, let's look at how airdrops currently work. Usually, airdrops are claimable by publicly-known identity sets, with votes on platforms like Snapshot shared publicly. Unfortunately, this has a few serious limitations. (6/n)
All of these subcomponents are documented in the README below. As an auxiliary goal, we hope that this project can provide an example of good practices for documentation of large circuits, to make audits/reviews easier. (16/n)
With ECDSA, private airdrops can use an existing ETH address set as an anonymity set, rather than requiring opt-in privacy. Rather than claiming as "a
@darkforest_eth
planet holder who's publicly opted into the privacy pool," you can just claim as a planet holder, period. (11/n)
2/ the possibility of ML models classifying inside a SNARK isn’t a new one (i.e.
@LiaoPeiyuan
's ZK-ML project from
@ETHUniversity
)
however, zk-mnist is (to our knowledge) the first open source example of running a neural net inside a SNARK