# Ayush Shukla

> Software engineer working on math, cryptography, and finance. Posts are
> long-form technical writing on systems programming, zero-knowledge proofs,
> and compilers.

## Pages

- [About](https://shuklaayu.sh/about): background, current focus, contact links.
- [Blog index](https://shuklaayu.sh/blog): all posts.

## Posts

- [Pushing the limits of RISC-V emulation](https://shuklaayu.sh/blog/riscv-recompiler): RVR, a RISC-V executor that recompiles guest programs by lifting them to C, closing (and sometimes beating) the gap to native execution. Covers a switch interpreter, predecoding, tail-called handlers (Clang `musttail`), per-instruction ahead-of-time translation, and basic-block recompilation with `preserve_none`, with benchmarks against native at each step.
- [Circle STARKs](https://shuklaayu.sh/blog/circle-starks): notes on the Mersenne-31 prime field and Circle STARKs.
- [EdDSA Signature Verification in halo2-lib](https://shuklaayu.sh/blog/axiom-ed25519): writing an Ed25519 signature verification circuit in halo2, for axiom.xyz's open-source program. Covers elliptic curves (Short Weierstrass and Twisted Edwards forms) and verifying a digital signature inside a zero-knowledge circuit.
- [Covid19India.org, a lockdown affair](https://shuklaayu.sh/blog/covid19india): a personal account of contributing to covid19india.org during the pandemic, including its data pipeline and the bubble-map visualization.

## Notes for automated readers

- Each post's rendered HTML includes standard `BlogPosting` JSON-LD (headline,
  dates, author) in a `<script type="application/ld+json">` tag.
- Interactive elements (charts, animated diagrams) are React islands that
  hydrate client-side; the static HTML includes their initial state, but
  values a reader toggles (chart tabs, log/linear scale) only exist after
  JavaScript runs.
- Append `.md` to any post URL (e.g. `/blog/circle-starks.md`) for its raw
  Markdown source, no rendering.