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