Ahmad Afuni

Freelance software developer.

email: root@-
cv: txt
matrix: @ax0:matrix.org
github: ax0
mastodon: @ax0@mas.to
twitter: @ahmad_afuni

I am a mathematics PhD and software developer.

Some things I have worked on over the years:

• Applied cryptography.
  Zupass, POD 2 and Digital Objects projects at 0xPARC.
  Private voting at Aragon.
• Cryptographic primitives.
  Plonky2 circuits for cipher proofs.
  Noir circuits for elliptic curve primitives and hash functions (SHA-256, SHA-512, Poseidon).
  Sparse Merkle trees in Scheme.
• Ethereum.
  Noir circuits for verifying state and storage proofs.
  RLP encoding and decoding in Scheme.
  Smart contracts for private voting.
• Regularity theory.
  Monotonicity formulae for flows of differential forms.
  Energy identities and monotonicity for flows of differential forms.
  Local regularity for the Yang-Mills and harmonic map heat flows via heat balls.
• Teaching.
  Lectures on differential geometry and partial differential equations at the Free University of Berlin.