ZK
-
How To Use The Noir Groth16 Backend
In this tutorial we will be writing circuits in Noir, outputing deterministic Groth16 artifacts, generating proofs with snarkjs, and verifying them inside a Stellar smart contract. The official Noir backend uses Ultrahonk proofs which are larger and more resource intensive to verify. I built this backend so that Noir could be used with Groth16 which…
-
How To Verify Noir Ultrahonk Circuits In A Stellar Contract
This guide walks through integrating Noir zero knowledge circuits with smart contracts on Stellar. You will: All code is open-source: https://github.com/jamesbachini/Noirlang-Experiments/ James On YouTube Watch On YouTube: https://youtu.be/AHBSZzemy9E | Subscribe The integration follows a clean separation of responsibilities. Noir defines the constraint system – the private logic you want to prove. Barretenberg (bb.js) generates a…
-
RAILGUN 2.0 | ZK Privacy Protocol
Railgun just announced the launch of version 2.0 this week and in this article we are going to explore the zero knowledge wallet and discuss why privacy protocols are important. In August 2022 Alexey Pertsev was arrested and he has been imprisoned without trial ever since. He was a developer on a ZK mixer called…
