Tweet

David Wong

Mar 2 • 10 tweets • 3 min read

1/10: The zero-knowledge space is seeing a number of cool zkVM projects, but have you heard of zkCPUs? Here's the thread 🧵

2/10: All zk projects are fundamentally circuits, not the kind of circuits that make up your electronics 📱, arithmetic circuits, which are almost the same but use addition ➕ and multiplication ✖️ and large numbers instead of dealing with bits.

3/ VMs, like the Ethereum VM (the EVM), are simply loops ➿ that will iterate through a list of instructions (specified by the VM). Each instruction is parsed, and logic is executed based on the instruction (for example, add these two numbers together).

4/ zkVMs are fundamentally circuits that implement the logic in that loop, and then iterate that loop in order to execute a given program. 💾

5/ zkVM are fundamentally limited, because you're dealing with this layer of abstraction between the silicon and your magical fingers 🤌

6/ ZK technology is recent, developers are going to care about low-level optimizations 🍝, and having direct access to the silicon 🥽 is going to be important . This is what zkCPUs 💻 offer, they let people customize the CPU and the circuitry directly.

7/ Once you have that, you can even write your own VM on top of that 🤯 ! Mina's next update will bring zkapps, which will be a way for developers to customize Mina's zkCPU 💾.

8/ ZkApps can be seen as modules that will get wired to the two logic units of Mina: the 🧱 blockchain unit (which advances the blockchain) and the 🧾transaction unit (which processes transactions and form blocks for the blockchain unit)

9/ the vision on the long term is to offer more and more degree of customization of this zkCPU. You can start today to play with it docs.minaprotocol.com/zkapps

you can also read more about zkCPUs on my blog cryptologie.net/article/589/zk…

10/ With zkCPUs, developers will have more control and flexibility over their zero-knowledge projects, leading to new use cases and innovations in the space. The future of zk is looking bright! #zkCPUs #zeroknowledge #innovation

• • •

Missing some Tweet in this thread? You can try to force a refresh

This Thread may be Removed Anytime!

Twitter may remove this content at anytime! Save it as PDF for later use!

More from @cryptodavidw

David Wong

@cryptodavidw

Feb 28

I think we can all agree that we got into crypto because 1) it’s insanely cool tech and 2) the dev community is so friendly, and helpful, and non-toxic in general

Communities don’t have a top down structure by design, and so the strength and the health of a community is usually measured by how well it manages to moderate itself

Do your part. If you see bad behavior, call it out. Be respectful of your peers. Be inclusive of newcomers. Be helpful to those who ask questions.

Read 5 tweets

David Wong

@cryptodavidw

Jul 28, 2022

so I'm always puzzled when I read "the FEDs increase interest rates". Help me understand. What I see is:

1. the central bank in the US can loan money to banks

2. there is an interest in that loan, which is the ONLY thing we are talking about here

1/n

3. banks in turn can loan money to businesses and individuals

4. banks probably can use the money that other customers deposited to produce these loans, but they also use a percentage from loans they make to the FEDs (percentage unknown)

2/n

5. The interest rate of these "end-user" loans is thus correlated (depending on the unknown %) to the interest rate given by the FEDs

6. Thus, higher interest rates from the FEDs mean higher interest rates from loans the banks give individuals and businesses

3/n

Read 6 tweets

David Wong

@cryptodavidw

Jul 26, 2022

In the last 6 months I've been helping people contribute to Kimchi, our open source zero-knowledge proof system written in Rust (github.com/o1-labs/proof-…). We went from 5 to 24 contributors who have made amazing contributions!

A lot of the contributors were rust or zkp noobs, and managed to learn a lot through their contributions. If you're interested reach out to me! We also have an introduction here: github.com/o1-labs/proof-… including a video!