Lucas Xia
7 followers · 8 following · 391 views
on the atlas · 37
- WeWorm2 savers
- Variants of KZG: Part III, Multilinear Commitments with Zeromorph - ZK/SEC Quarterly1 savers
- Putting the zk in zkVM: Jolt now supports zero knowledge - a16z crypto1 savers
- The Spartan zkSNARK framework - Alin Tomescu1 savers
- A Gentle Introduction to the MPC-in-the-Head Transformation - ZKSecurity1 savers
- Machina iO - Blog Post1 savers
- What You Need to Know About Roman Storm's Tornado Cash Trial1 savers
- All about airdrops - a16z crypto1 savers
- Aztec Sequencers1 savers
- But what is Quantum Computing? (Grover's Algorithm) - YouTube1 savers
- zkBank/go.mod at main · zksecurity/zkBank1 savers
- WHIR: Reed–Solomon Proximity Testing with Super-Fast Verification1 savers
- Collaborative zkSNARKs2 savers
- news.zksecurity.xyz1 savers
- Privacy Abstraction with Aztec. Smart contract privacy without the… | by Aztec Labs | The Aztec Labs Blog | Sep, 2023 | Medium1 savers
- 17 misconceptions about SNARKs (and why they hold us back) - a16z crypto3 savers
- Computer Scientists Achieve ‘Crown Jewel’ of Cryptography | Quanta Magazine2 savers
- NBA Finals 2023: How the Denver Nuggets' altitude advantage takes air out of opposing teams - ESPN1 savers
- 370.pdf3 savers
- Explaining Halo 2 - Electric Coin Company2 savers
- Introducing Telepathy1 savers
- HyperPlonk, a zk-proof system for ZKEVMs | by Espresso Systems | Mar, 2023 | Medium1 savers
- Chapter 6: The World’s 1st On-Chain AI Game | by Modulus Labs | Mar, 2023 | Medium1 savers
- Nexus Zero: A Decentralized Zero-Knowledge Cloud Computing Network - HackMD1 savers
- Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS1 savers
- Discovery fiction3 savers
- An Easy Introduction to CUDA C and C++ | NVIDIA Technical Blog1 savers
- CS 251: Cryptocurrencies and Blockchain Technologies - Staff1 savers
- Apple ‘passkeys’ could finally kill off the password for good | TechCrunch1 savers
- choosing - by vincent huang - a slice of my mind30 savers
- cdixon | Climbing the wrong hill24 savers
- GPT-417 savers
- The zero-knowledge attack of the year might just have happened, or how Nova got broken - ZKSECURITY5 savers
- Pay Attention To Celestia - Delphi Digital3 savers
- ProofsArgsAndZK.pdf3 savers
- Y: The Most Beautiful Idea in Computer Science explained in JavaScript2 savers
- Let’s take a crack at understanding distributed consensus2 savers
highlights · 4
Randomly combine (i.e., fold) the witness — which is the solution to this constraint system corresponding to the actual proof — with another, independently sampled random solution to the same constraint system.
Putting the zk in zkVM: Jolt now supports zero knowledge - a16z cryptoπ’ by running a sigma protocol for each multiplication performed by the sum-check verifier
Putting the zk in zkVM: Jolt now supports zero knowledge - a16z cryptoNotably, also the Ligero zero-knowledge proof scheme can also be viewed as an instantiation of an optimized MPC-in-the-Head transformation, and manages to achieve sub-linear proof-size using an MPC protocol which is secure against active adversaries.
A Gentle Introduction to the MPC-in-the-Head Transformation - ZKSecurity4. Precompiles and zkVM benchmarks
Understanding Jolt: Clarifications and reflections - a16z crypto