Godspower Eze

thinker · writer · researcher · builder

Interested in mathematics, zero-knowledge proofs and cryptography.


Writings

Technical

Cryptography

Mathematics

Non-technical


Builds

Cryptography & Zero-Knowledge

  • verifiers-toolkit — Circom/Noir circuits to Cairo Groth16/UltraHonk verifiers on StarkNet in minutes
  • zk-lang — an experimental ZK circuit language
  • fhe-and-lbc — implementations from Fully Homomorphic Encryption (FHE) and Lattice-Based Cryptography
  • pqc-ml-kem.rs — Rust library for ML-KEM (Module-Lattice-Based Key-Encapsulation Mechanism)
  • modcc.xyz — web tool for the sumcheck protocol; univariate and multilinear Lagrange interpolation over finite fields
  • modcc — Rust library for univariate, multivariate, and multilinear polynomial operations over finite fields; API backend for modcc.xyz

Research & Notes

Virtual Machines

  • lc3-vm — LC3 virtual machine in Rust
  • toy-vm — a basic virtual machine in C

Ethereum & StarkNet


Open Source Contributions


Connect

X/Twitter · LinkedIn · Telegram


Code for life

“It is not the critic who counts; not the man who points out how the strong man stumbles, or where the doer of deeds could have done them better. The credit belongs to the man who is actually in the arena, whose face is marred by dust and sweat and blood; who strives valiantly; who errs, who comes short again and again, because there is no effort without error and shortcoming; but who does actually strive to do the deeds; who knows great enthusiasms, the great devotions; who spends himself in a worthy cause; who at the best knows in the end the triumph of high achievement, and who at the worst, if he fails, at least fails while daring greatly, so that his place shall never be with those cold and timid souls who neither know victory nor defeat.”

— Theodore Roosevelt

Buy Me A Coffee