Community Led Stage · CLS - Talk (Open Tech Summit)

Welcome to OpenTechSummit India: Where Open Source Meets Decentralized Tech

hpdang

Music stage · Experience

Ayyussh ×2 apps [singer]

Community Led Stage · CLS - Talk (Open Tech Summit)

Watch your LLM live with Visdom: Release v0.3.1

Vedansh Saini

Music stage · Experience

Thiru [pop songs on guitar]

Community Led Stage · CLS - Talk (Open Tech Summit)

Voxbento: When 2 Seconds Matter — Building Real-Time AI Captions and Live Interpretations

Arnav Angarkar

Jasmine Stage 4 · Lightning Talk

Beyond Crypto: Only together are we strong

PG

Lightning Stage · Opening

Academic track Opening

Shyam Sridhar

Lotus Stage 2 · Talk

Oops, Your EOA Has Code Now: How EIP-7702 Broke Ethereum's Old Security Assumptions

Souradeep Das

Lotus Stage 3 · Talk

Everyone is thinking about VPNs wrong

Sebastian Buergel

Workshop 1 · Workshop

Your dApp is 90% Web2: Rebuilding One App on the Open Stack.

SantiagoDevRel

Workshop 2 · Workshop

Encrypted, Not Anonymous: A Hands-On Introduction to Confidential Solidity

Aryeh Greenberg

Lightning Stage · CLS - Workshop (Academic track)

Smart Contract Security and Zero-Knowledge Assurance

Subhra Mazumdar, Sorbajit Goswami

Jasmine Stage 4 · Lightning Talk

Blockchain adoption: even if you do a lot of things right, you can still be wrong

victoria kozlova, Ben Biedermann

Community Led Stage · CLS - Talk (Open Tech Summit)

Eventyay: How we are building eventyay with the power of community and AI

Srivatsav Auswin

Jasmine Stage 4 · Mixed Format

Building Through Constraints: A Decade of Web3 in Iran

Fatemeh Fannizadeh, Shayan Eskandari

Music stage · Experience

Devv Playz [professional pianist & keys · 14 years, Pune]

Community Led Stage · CLS - Talk (Open Tech Summit)

Weeks instead of Years: Creating the Loungemesh Hallway Video Platform

Saksham Sirohi

Lotus Stage 1 · Talk

An update on Local Mixing (iO)

Janmajaya Mall

Lotus Stage 2 · Talk

Defending Multisigs from Offensive AI: Introducing onchain security markets

Rahul Rumalla

Lotus Stage 3 · Talk

Hiding Network Metadata: Introduction to Mixnets

Harry Halpin, Max Hampshire, Sachin Kamath

Community Led Stage · CLS - Talk (Open Tech Summit)

Open Rails for Programmable Money: What Tokenization and Open Source Mean for India's Next Digital Layer

Pramod Mishra

Jasmine Stage 4 · Mixed Format

privacy in other words, infrastructure for expressive freedom

Jesse Katz

CLS - Builders Room · CLS - Miniworkshop (Open Tech Summit)

Set up Visdom and Watch Your LLM

Manik Khajuria, Jayant Parashar, Rajnish Tiwari, Vedansh Saini

Community Led Stage · CLS - Talk (Open Tech Summit)

Prefill, Decode, and Despair: Disaggregated LLM Serving Made Boring

Sergey Pronin

Lotus Stage 1 · Talk

Diamond iO: New Cryptanalysis and Efficiency Improvements—Toward Ethereum Beyond Finance

Sora Suegami

Lotus Stage 2 · Lightning Talk

Vibe-Auditing: Why Your AI Security Review Isn't One

Nicolas Garcia

Lotus Stage 3 · Talk

devp2p, libp2p, ethp2p - Untangling Ethereum’s Networking Stack

Dr. Dennis Trautwein

Music stage · Experience

Vedz [melodic electronic originals]

Workshop 1 · Workshop

Building an x402 AI Agent: Autonomous payments with Cloudflare Workers

Haruki Kondo

Workshop 2 · Workshop

Decolonise Decentralisation: Co-building Human Rights Tech

Sam de Silva

Lotus Stage 2 · Lightning Talk

Formal Verification in the Age of AI

Fricoben

Community Led Stage · CLS - Talk (Open Tech Summit)

Can Small Open Models Power Reliable AI Agents?

Kalyan Prasad

Lotus Stage 2 · Lightning Talk

AI security vulnerability scanning in Lighthouse

Josh King

Community Led Stage · CLS - Talk (Open Tech Summit)

The Open-Source Escape Hatch: Replacing DataDog Without Losing Your Sanity (or Your Budget)

Rohit M S

Lotus Stage 1 · Talk

Digital Objects: What, Why, and How

gubsheep, Rob Knight

Lotus Stage 2 · Talk

Don't Review the Code: Formal Specs, AI Synthesis, and Why the Verifier Is the Only Thing You Trust

Dorde Mijovic

Lotus Stage 3 · Talk

Transcending Gossipsub

Daniel Knopik

Music stage · Experience

🎼 🎤 OSO — the songwriters' circle

Community Led Stage · CLS - Talk (Open Tech Summit)

Project Hummingbird - Minimal Images, Maximum Trust

Gaurav Kamathe

Lightning Stage · CLS - Talk (Academic track)

Collaborative zkSNARKs: Efficiency, Security, and Fair-Exchange

Sruthi Sekar

CLS - Builders Room · CLS - Lightning Talk (Open Tech Summit)

Your Standup, Written by Your Commits: Scrum Helper for Open Source Contributors (1/2)

Vedansh Saini

Jasmine Stage 4 · Talk

The State Arrives as a Scan: Building Syria's Open Record, and Making It Forkable

Karam Alhamad

CLS - Builders Room · CLS - Miniworkshop (Open Tech Summit)

Set up Eventyay: Docker Up, PR Out - Get Ready for Your First Contribution to a Real Django + Vue Platform Used by Thousands (1/2)

Srivatsav Auswin, Saalim Aqueel, Arnav Angarkar, Om Vanwari, Mukund, Rachit, Saksham Sirohi

Community Led Stage · CLS - Panel (Open Tech Summit)

Proof of Work: Building Your Career Through Open Source in the Age of AI

Mario Behling, Rushabh Mehta, Tomasz Stanczak, Francesco Andreoli

Lotus Stage 2 · Talk

Security is a leadership problem

Josselin Feist

Lotus Stage 3 · Talk

Rage-Coding the Mother of All VPNs: Notes from Iran's Internet Blackouts

Shayan Eskandari

Workshop 1 · Workshop

Your First Core Solidity Smart Contract

Jacob Czepluch

Workshop 2 · Workshop

What Would It Take to Make Ethereum Always Available? Designing UNIBRA: A Connectivity Layer

Fatemeh Fannizadeh, Lou de K, Bartho Laforestrie

Lightning Stage · CLS - Fireside chat (Academic track)

Fireside Chat — how far down does verifiability go?

Subodh Sharma

Lotus Stage 2 · Talk

Bug-Free Solidity Coding Agents

Mooly Sagiv

Lotus Stage 3 · Talk

When the Network Shuts You Out: Measuring Resilience in Permissionless Networks

Manu Sheel Gupta, Johanna Moran

Community Led Stage · CLS - Panel (Open Tech Summit)

Community Snapshot Group Photo!

Lotus Stage 1 · Talk

LeanVM

Tom Wambsgans

Lotus Stage 3 · Talk

EEZ: Building Synchronous Ethereum with Real-Time ZK Proofs

Jordi Baylina

Jasmine Stage 4 · Mixed Format

Tor AMA with Roger Dingledine

Roger Dingledine

Lotus Stage 1 · Talk

FRIVail: A Data Availability Scheme based on FRI Binius

Rachit Anand Srivastava

CLS - Builders Room · CLS - Miniworkshop (Open Tech Summit)

Set up Eventyay: Docker Up, PR Out - Get Ready for Your First Contribution to a Real Django + Vue Platform Used by Thousands (2/2)

Srivatsav Auswin, Saalim Aqueel, Arnav Angarkar, Om Vanwari, Mukund, Rachit, Saksham Sirohi

Community Led Stage · CLS - Talk (Open Tech Summit)

AI Can Write the Patch — Can You Get It Merged?

Rachit

Lightning Stage · CLS - Lightning (Academic track)

Can Ethereum Give Citizens a Better Deal on Their Energy Data?

Silvio Meneguzzo

Community Led Stage · CLS - Talk (Open Tech Summit)

Watch Your Models Learn: Real-Time AI/ML Experiments with Visdom

Norbert Preining

Jasmine Stage 4 · Mixed Format

From First Mover to Blueprint: Lessons from Bhutan’s Decentralized ID

Emma Luu Van Lang, Kinzang Dorji, Tshendu Gyeltshen

Lightning Stage · CLS - Lightning (Academic track)

Autonomous agents

Ekin Genc

Lotus Stage 1 · Talk

Steal Now, Reveal Never: The Quiet Arrival of Quantum Attacks

Jon Stephens, Shankara Pailoor

Lotus Stage 2 · Talk

evm-asm: Experiences Writing the EVM, Directly in Risc-V Assembly

Derek Sorensen

Workshop 1 · Workshop

Enforcing transaction outcomes with native on-chain state change validation in EIP-7906

Alex Forshtat

Workshop 2 · Workshop

How to improve privacy and censorship-resistance by integrating a mixnet

Harry Halpin

Lightning Stage · CLS - Lightning (Academic track)

Privacy Preserving Coordination Rails for Municipal Energy Communities

Dinis

Community Led Stage · CLS - Talk (Open Tech Summit)

From Experiments to Publications: A Reproducibility Suite for Visdom

Rajnish Tiwari

Lightning Stage · CLS - Lightning (Academic track)

Energy data markets

Dani Vilardell

Community Led Stage · CLS - Talk (Open Tech Summit)

Rebuilding Visdom AI Visualizations in Five Layers

Manik Khajuria

Jasmine Stage 4 · Talk

Digital Identity for Nations: Unlinkability, Subsidiarity and Global Interoperability

Alessandro Malventano

Lightning Stage · CLS - Lightning (Academic track)

When your AI agent uses your wallet, what are you trusting?

Artem Grigor

Lotus Stage 1 · Lightning Talk

Challenges of Quantum-Safe Privacy on Ethereum

Pierre

Lotus Stage 2 · Talk

Formally Verifying a Shielded Pool in Lean 4

Oskar Thoren, Aaryamann Challani

Lotus Stage 3 · Talk

You Probably Don't Need Your Own Chain: Evidence From Dissolving One at Scale

Ofir Eliasi

CLS - Builders Room · CLS - Lightning Talk (Open Tech Summit)

Your Standup, Written by Your Commits: Scrum Helper for Open Source Contributors (2/2)

Vedansh Saini

Lightning Stage · CLS - Lightning (Academic track)

Verified argument flow

Ibukun Babatunde

Lotus Stage 1 · Lightning Talk

leanSPHINCS: Signing for the long run

Nico

CLS - Builders Room · CLS - Miniworkshop (Open Tech Summit)

Let the Agent Cook: Building AI-Native Developer Workflows

Arnav Angarkar

Community Led Stage · CLS - Talk (Open Tech Summit)

Zero-Boilerplate Dashboards: Live Autologging for Keras and PyTorch with Visdom

Jayant Parashar

Lightning Stage · CLS - Lightning (Academic track)

Block synthesis

Shyam Sridhar

Lotus Stage 1 · Lightning Talk

Prisoners of Work: Can Proof-of-Work Detect Quantum Computers?

Aata Hokoridani

Community Led Stage · CLS - Panel (Open Tech Summit)

Ask Me Anything with Roger Dingledine: Tor, Privacy and 20+ Years of Open Source

Roger Dingledine

Jasmine Stage 4 · Lightning Talk

What we learned bringing decentralized justice to Argentine citizens

Facundo Trotz

Lotus Stage 1 · Talk

Post-Quantum Accounts Today: Benchmarking Falcon-512 Verification Inside Starknet's `__validate__`

Vijay Singh

Lotus Stage 2 · Talk

Towards Formally Verified zkEVMs

Francesco Risitano

Lotus Stage 3 · Talk

Gateway-Free by Design: Building a Browser for Permissionless Networks

Meinhard Benn

Workshop 1 · Workshop

Formal Verification of Consensus Protocols in Lean

Roberto Saltini

Workshop 2 · Workshop

The Big Ethereum Trivia Quiz

Jacob Czepluch, Hudson Jameson

Jasmine Stage 4 · Lightning Talk

See You in (Robot) Court: Justice in the Agent Economy

Federico Ast

Lightning Stage · CLS - Talk (Academic track)

Who Should Benefit When Transactions Are Ordered? Fair MEV Redistribution

Dr Sujit Prakash Gujar

Jasmine Stage 4 · Lightning Talk

When Agents Build and Agents Judge: Lessons from Running Ethereum's First Agent-Native Hackathon

Swarnim Walavalkar, Denver

Jasmine Stage 4 · Talk

Who Pays When the Machine Is Wrong?

Patrick Storchenegger, Raphael Baumann

Lotus Stage 1 · Talk

You can't withdraw your privacy: PQ analysis of Kohaku privacy protocols

Simon

Lotus Stage 2 · Talk

A Yellow Paper you can run: an independent executable EVM spec in Lean 4

Seulkee Baek

Lotus Stage 3 · Talk

Who Can Turn Off Your Ethereum App? A Full-Stack Walk-Away Test

James Carnley

Lightning Stage · CLS - Talk (Academic track)

A Grammar for Proportionality Analysis in Digital Systems

Subhashis Banerjee

CLS - Builders Room · CLS - Talk (Open Tech Summit)

Metal3 Meets KubeVirtBMC: Provisioning KubeVirt VMs Like Bare Metal

Anish Bista

Community Led Stage · CLS - Talk (Open Tech Summit)

DX is Secret Sauce of Open Source

Chetna Agrawal

CLS - Builders Room · CLS - Talk (Open Tech Summit)

Bootable Containers? Why and how

Roshan R

Community Led Stage · CLS - Lightning Talk (Open Tech Summit)

Flutter Meets Hardware: LED Badges, ePaper and Pocket Science Lab

Dhruv Rastogi

Jasmine Stage 4 · Talk

DAO Governance failures and ways of mitigation

Victor Vernissage

Lotus Stage 1 · Talk

Anonymity Is Censorship Resistance: Efficient Anonymous Broadcast Under Censorship

Mateusz Morusiewicz

Lotus Stage 2 · Talk

From Production Rust to Lean 4 Proofs: A Verification Pipeline with AI Provers

Natalia Klaus

Lotus Stage 3 · Talk

The DeFi Walkaway Test: Can Users Actually Leave?

Diego Siqueira

Music stage · Experience

Naman [DJ set w/ zk-proofs streamed through a custom music L2]

Workshop 1 · Workshop

leanSPHINCS for developers: how to build on Post-Quantum Ethereum

Matteo Vicari, Alessandro Baiocchi

Workshop 2 · Workshop

Formal Verification in Lean

Derek Sorensen

Community Led Stage · CLS - Lightning Talk (Open Tech Summit)

What Actually Happens When You Send an LLM Request to Kubernetes?

Atharva Mhaske

Community Led Stage · CLS - Lightning Talk (Open Tech Summit)

Website Builder for Artisans

Suraj Shetty

Lightning Stage · CLS - Talk (Academic track)

Closing Keynote — public infrastructure and the people it records

Reetika Khera

CLS - Builders Room · CLS - Miniworkshop (Open Tech Summit)

How to use Visdom to Visualize Ethereum and Blockchain Data

Manik Khajuria, Norbert Preining, Jayant Parashar, Rajnish Tiwari, Vedansh Saini

Community Led Stage · CLS - Lightning Talk (Open Tech Summit)

Stop twisting every dial: One open Inference tuning lesson

Aqsa Aqeel

Community Led Stage · CLS - Lightning Talk (Open Tech Summit)

The Steering Loop: Harness Engineering with OpenCode for the Agent-First Era

Soumyadip Chowdhury

Community Led Stage · CLS - Lightning Talk (Open Tech Summit)

Execution Got Cheap. Judgment Didn't.

Pragya Bhardwaj

Community Led Stage · CLS - Talk (Open Tech Summit)

Measuring Community Vitality: Navigating Multi-Stakeholder Governance in Open Source

Divya Mohan

Jasmine Stage 4 · Talk

Why Every Supply Chain Blockchain Died: Capture, Neutrality, and Lessons from Inside

Henning Diedrich

Lotus Stage 1 · Talk

Enshrined Payment Channels: A Stateless, Post-Quantum, Confidential Rollup Design

Leona Hioki

Lotus Stage 3 · Talk

Paying Nodes That Actually Execute: Proofs a Free-Rider Cannot Copy From a Peer

Pranay Anchuri

Music stage · Experience

mannuu [blockravers · burned the Man with this set]

Community Led Stage · CLS - Lightning Talk (Open Tech Summit)

From Event Data to Social Campaigns: Automating Event Promotion with Eventyay

Saalim Aqueel

Community Led Stage · CLS - Lightning Talk (Open Tech Summit)

I Built a Linter for Human bugs, Then I Ran It on Eventyay

Deepak Koul

Community Led Stage · CLS - Lightning Talk (Open Tech Summit)

Teams, Shifts and Certificates, All in One Place: Open Source Volunteer and Shift Management

Mukund

Community Led Stage · CLS - Lightning Talk (Open Tech Summit)

Automating Conference Video Post-Production with VEditor

Om Vanwari

Community Led Stage · CLS - Lightning Talk (Open Tech Summit)

How to contribute to OSS without annoying maintainers?

Soham Zemse

Community Led Stage · CLS - Panel (Open Tech Summit)

What FOSSASIA Maintainers Wish Contributors Knew: Ask Us Anything

Srivatsav Auswin, Arnav Angarkar, Norbert Preining, Saksham Sirohi

Lotus Stage 1 · Talk

PQC: Post-Quantum Collaboration?

Vijay, Andreas

Lotus Stage 3 · Talk

Decentralized video streaming: architecture, performance, and trade-offs

Levente Bence Kiss

Community Led Stage · CLS - Talk (Open Tech Summit)

What You Build Next: Closing Remarks and the Road Ahead

Mario Behling

Music stage · Experience

🎼 🕺 OSO — dancefloor till the last note