Blog

Personal thoughts, experiments, and things I am courious about.

Forgetting variables in d4v2 model counter circuits

Expanding the d4v2 BC-S1.2 circuit format to specify projected variables

November 6, 20255 min read

d4v2model-countingd-DNNFSATknowledge-compilation

Schnorr identification protocol

Implementation of the Schnorr identification protocol over Curve25519 in Rust.

July 17, 20242 min read

cryptographyidentificationSchnorrCurve25519

GasBad

Comparing gas efficiency of the most common Solidity libraries

June 3, 20238 min read

solidtygasethereum