Specs

A single canonical spec document that lives at specs.anoma.net

• Contains all specs w.r.t. interfaces
• Contains some specs w.r.t. implementation

Prototype

An executable protocol where simulations of a non-linear counter can be run

• Prototype is executable on a single machine (mocks solving, transaction creation, and execution)
• Prototype is end-to-end tested
• Prototype is integrated with GEB interpreter

Taiga

Design, implementation, evaluation and documentation of the Taiga component of Anoma protocol stack

• Implemented Halo2 verifier
• Implemented "key" system
• Implemented interfaces to Typhon EE

Typhon

Design, implementation, evaluation, and documentation of the Typhon component of Anoma protocol stack

• Designed and documented (conference paper) P2P network architecture
• Implemented buggy prototype of mempool
• Designed and documented consensus
• Designed and documented execution engine