Kaushal

Cryptography | Rust | Full Stack | Blockchain Core Dev | ZK Proof | Building @conf_pass, @zerostate_labs

[Kaushal @Kaushal_sol]

🔐Exploring the World of Zero-Knowledge Proofs (ZKPs) 🔑

[Armani Ferrante @armaniferrante]

How to bridge to @RobinhoodCrypto chain in 20 seconds using @Backpack wallet.

[Jawad ⚡️ @Signalman23]

I built an AI agent that lets me speak to car engines.

Dashboard lights waste time and money, so I built a tool that uses AI to diagnose issues.

I’ve tested it on 40 cars and it’s hitting 95% accuracy. making workflows faster, smarter, and more efficient.

[Kaushal @Kaushal_sol]

10/
Next: risc0-zkp — the cryptographic backend powering proofs 🔐

[Kaushal @Kaushal_sol]

1/
🔎 Part 2: Inside risc0-zkvm — the zkVM powering RISC Zero
If bonsai-sdk is the client for outsourcing zk proofs, then risc0-zkvm is the engine where programs actually execute & get proven.
It’s the zkVM (zero-knowledge virtual machine) at the core of RISC Zero 🧵👇

[Kaushal @Kaushal_sol]

9/
risc0-zkvm = the heart of RISC Zero.
It executes programs inside a zkVM, produces zk proofs, and enables verifiers to trust the result without re-executing.

This is Part 2 of the RISC Zero deep-dive 🛠️.

[Kaushal @Kaushal_sol]

This is just Part 1 of a deep-dive into the RISC Zero stack 🛠️.

Next: we explore risc0-zkvm — the zkVM execution engine that makes proofs possible ⚡

[Kaushal @Kaushal_sol]

zk proofs are powerful but proving = expensive & slow.

RISC Zero’s bonsai-sdk lets you outsource heavy proving jobs to the Bonsai service, while keeping cryptographic trust.

Let’s see how it works under the hood 🧵👇

[Kaushal @Kaushal_sol]

In short:
1. bonsai-sdk lets you offload zk proving to Bonsai with just a few lines of Rust.

2. It’s the glue between your zkVM guest programs and decentralized provers.