Pushing the limits of RISC-V emulation

2026-07-26

What it takes to run RISC-V code at near-native speed on a different architecture.

Circle STARKs

2024-04-05

Notes on the M31 Mersenne prime and Circle STARKs.

EdDSA Signature Verification in halo2-lib

2023-06-16

Writing an Ed25519 signature verification halo2 circuit for axiom.xyz's open-source program.

Covid19India.org, a lockdown affair

2020-08-31

A personal reflection of the months in lockdown contributing to covid19india.org.