Garvit GoelinElectron Labszk-Ed25519: Underlying MathematicsTo generate SNARK proofs of Ed25519 signatures that can be verified cheaply on Ethereum, we need to perform Ed25519 curve operations insideNov 15, 2022Nov 15, 2022

Garvit GoelinElectron LabsElectron SDK: An Open Source Library for Building ZK Applications(Part 1)This is the first article in a series of posts on Electron SDK.Sep 14, 2022Sep 14, 2022

Garvit GoelinElectron LabsWhat is ZKLC and How it Works?ZKLC stands for Zero-Knowledge Light Clients. ZK Light Clients allow us to prove the validity of a transaction, by constructing a zk-proof…Feb 11, 2022Feb 11, 2022

Garvit GoelinElectron LabsOur Reply to Vitalik’s Concerns on Cross-Chain Bridges.Vitalik Buterin recently made a Reddit post about the limits of blockchain interoperability, and why cross-chain bridges won’t work. In…Jan 16, 2022Jan 16, 2022

Garvit GoelinElectron LabsSecurity Analysis Of Validator Subset ApproachIn Electron Protocol, while verifying a blockheader using a Light Client, we postulate that instead of verifying 1000’s signatures from all…Nov 6, 2021Nov 6, 2021

Garvit GoelUnderstanding Homomorphic EncryptionZK-SNARKS rely on a certain encryption function called Homomorphic encryption. I believe it’s important to understand the mathematical…Oct 21, 20211Oct 21, 20211

Garvit GoelinElectron LabsWhat is BDLC and how it Works?In this article, we will discuss a key piece of Electron Protocol’s Interoperability technology — Bidirectional Light Clients. Let’s dive…Sep 8, 2021Sep 8, 2021

Garvit GoelOur Thoughts on Blockchain InteroperabilityDefining Interoperability: Consider two Ethereum blockchains E1 and E2. We assume them to be Ethereum-like to keep things simple in this…Jun 19, 2021Jun 19, 2021