Bhaskar Krishnamachari·Oct 19Byzantine Fault Tolerant Consensus under Synchrony: Signed Rotating Coordinators (Consensus part 4)From broadcasting to voting
Bhaskar Krishnamachari·Oct 18Byzantine Fault Tolerant Consensus under Synchrony: Signed FloodSet (Consensus part 3)From crashes to lies
Bhaskar Krishnamachari·Oct 17Simple Consensus under Synchrony and Crash Faults (Consensus part 2)Consensus is one of the fundamental problems in distributed computing. A collection of computers must agree on a single value, even though…
Bhaskar Krishnamachari·Oct 13Why Consensus Fails in Asynchronous Systems with Faults: A simple example (Consensus part 1)The FLP theorem, proved by Fischer, Lynch, and Paterson in 1983, is one of the landmark results in distributed computing. In plain terms…
Bhaskar Krishnamachari·Aug 9Growing the Lotus of Our Mind: Pasuram 1.1.2 of Nammāḻvār’s TiruvāymoḻiOne of the greatest works of devotional poetry is the Vaishnava poet-saint Nammāḻvār’s Tiruvāymoḻi (Sacred Utterances). I spent this…
Bhaskar Krishnamachari·Apr 25AI Safety as Cultivation: Yogacara, Seeds, and Reflective Self-Evolving SystemsYogacara (Yogācāra, pronounced yo-gaa-chaa-ra) is one of the major philosophical schools of Mahayana Buddhist thought. It is classically…A response icon1A response icon1
Bhaskar Krishnamachari·Sep 2, 2025On Consciousness — Thirty Verses by Vasubandhu: a modern renderingThe Buddhist philosopher and teacher Vasubandhu lived around the 4th-5th century CE in the North-West of India, in Gandhara. He was a…
Bhaskar Krishnamachari·Jul 14, 2024Understanding Zero-Knowledge Proofs: Part 6-Quadratic Arithmetic ProgramsIn the previous article (part 5) in this series on zk-SNARKs, we looked at how computations that need verification can be first encoded in…
Bhaskar Krishnamachari·Jul 14, 2024Understanding Zero-Knowledge Proofs: Part 5-Arithmetic Circuits and R1CSIn previous posts, we have looked at some basics of zero-knowledge proofs for privacy-sensitive verifiable computation. In part 4 we looked…A response icon2A response icon2
Bhaskar Krishnamachari·Jul 14, 2024Understanding Zero-Knowledge Proofs: Part 4— Polynomial CommitmentsIn part 2 of this series, we went over some basic mathematical background needed for cryptography, namely finite fields, cyclic groups, and…