My Personal zk-Notebook in Typescript

Some TODO's

Elliptic curves over the projective space for efficiency
Add interface for elements of extension field, instead of bigint[]
Unify primeField and extensionField and generalize tower of extension fields