Bhaskar Krishnamachari – Medium

Bhaskar Krishnamachari

Bhaskar Krishnamachari

Understanding Zero-Knowledge Proofs: Part 6-Quadratic Arithmetic Programs

In the previous article (part 5) in this series on zk-SNARKs, we looked at how computations that need verification can be first encoded in…

Jul 14

Equation describing basis polynomials for Lagrange interpolation.

Jul 14

Bhaskar Krishnamachari

Understanding Zero-Knowledge Proofs: Part 5-Arithmetic Circuits and R1CS

In previous posts, we have looked at some basics of zero-knowledge proofs for privacy-sensitive verifiable computation. In part 4 we looked…

Jul 14

Understanding Zero-Knowledge Proofs: Part 5-Arithmetic Circuits and R1CS

Jul 14

Bhaskar Krishnamachari

Understanding Zero-Knowledge Proofs: Part 4— Polynomial Commitments

In part 2 of this series, we went over some basic mathematical background needed for cryptography, namely finite fields, cyclic groups, and…

Jul 14

Block diagram illustrating the key elements KZG polynomial commitment scheme: trusted setup, prover, and verifier.

Jul 14

Bhaskar Krishnamachari

Understanding Zero-Knowledge Proofs: Part 3—Elliptic Curve Cryptography

We continue our journey to explore how zero-knowledge proofs work. After a broad overview of zero-knowledge proofs and how they enable…

Jul 14

Jul 14

Bhaskar Krishnamachari

Understanding Zero-Knowledge Proofs: Part 2 — Math Basics for Cryptography

We started this series with a previous article giving a broad-overview of zero-knowledge proofs and their role in enabling verifiable…

Jul 14

Understanding Zero-Knowledge Proofs: Part 2 — Math Basics for Cryptography

Jul 14

Bhaskar Krishnamachari

Understanding Zero-Knowledge Proofs: Part 1— Verifiable Computation with zk-SNARKs

In my view, one of the most consequential developments in cryptography as well as distributed computing in the past decade has been the…

Jul 14

A block diagram illustrating the components and flow of a zero-knowledge proof system involving a Key Generation step, a Prover, a Verifier, a Computation Point, and a User.

Jul 14

Bhaskar Krishnamachari

Notes on Kolmogorov-Arnold Networks (KAN)

A little over a month ago, Liu et al. posted a paper titled “KAN: Kolmogorov-Arnold Networks” [1]. It’s a truly novel piece of work…

Jun 7

Notes on Kolmogorov-Arnold Networks (KAN)

Jun 7

Bhaskar Krishnamachari

Mindful AI: Aligning Technology with Spiritual Values

As AI technology continues to advance, so does the need to ensure that these systems are aligned with human values and objectives. One…

Apr 9, 2023

Mindful AI: Aligning Technology with Spiritual Values

Apr 9, 2023

Bhaskar Krishnamachari

Buying and Selling on the Blockchain

Imagine a buyer and seller that do not know each other, interacting over the Internet. The seller offers to sell a digital document online…

Mar 21, 2023

Buying and Selling on the Blockchain

Mar 21, 2023

Bhaskar Krishnamachari

Modeling a Speculative Asset Bubble

A simple mathematical model of how speculative asset bubbles form and burst. Applicable to cryptocurrencies, stocks, or any other asset.

May 16, 2022

Modeling a Speculative Asset Bubble

May 16, 2022

Bhaskar Krishnamachari

Bhaskar Krishnamachari

Professor of ECE at USC working on emerging technologies and their applications. Interested in eastern philosophy, history, and nature.

Following

Help
Status
About
Careers
Press
Blog
Privacy
Terms
Text to speech
Teams