OPTIONAL: Advanced Resources

You might want to learn more about mathematics of the ZK, or want to learn more about underlying proof systems used. Moreover, you might wonder how a proof system is built. Here are some additional topics that might answer your questions. Not all resources here are necessary for learning Mina or o1js better, however, once you know about them you would be able to visualise in your mind the possible source code improvements to o1js and underlying cryptographic schemes.

Through your study, you can come back to use these materials, which would be beneficial for your development.

Finite Fields, Elliptic curves and more

• First chapters of Introduction to Mathematical Cryptography

• Cyclic Subgroups

• Elliptic curves and Diffie-Hellman

• First chapters of Programming Bitcoin

• First five chapter of MoonMath Manual.

Cryptography

• MoonMath Manual chapters 6-8

• Introduction and History of ZK

• Introduction to Modern SNARKS

• SNARKs vs STARKs

• Plonk and Custom gates

For more examples of how to use o1js, you can check examples folder. Moreover, you can clone it and experiment the API yourself.