Domino Project Structure

Directory Layout

A Domino Project contains three directories games, packages, and theorem in addition to an empty file ssp.toml which marks the root of the project. Packages directory contain definition of packages in files with suffix .pkg.ssp. Games directory contain definitions of games as compositions of packages in files with suffix .comp.ssp and finally theorem directory contain propositions over indistinguishable games and the necessary game hops to prove their indistinguishability in files with suffix .ssp.