LEO

Downloadable computer programs, namely, utility programs, language processors, and interpreters, used to process verifiable computations; downloadable computer programs for assisting developers in creating program code for use in decentralized networks; downloadable computer programs for use in creating, compiling, executing, visualizing, debugging, publishing, and deploying program code on a network-based computer, server, or software registry; downloadable computer programs for describing and processing circuits, polynomials, and other standard models of computational and encrypted processes

Providing temporary use of on-line non-downloadable computer programs, namely, utility programs, language processors, and interpreters, used to process verifiable computations; providing temporary use of on-line non-downloadable computer programs for assisting developers in creating program code for use in decentralized networks; providing temporary use of on-line non-downloadable computer programs for use in creating, compiling, executing, visualizing, debugging, publishing, and deploying program code on a network-based computer, server, or software registry; providing temporary use of on-line non-downloadable computer programs for describing and processing circuits, polynomials, and other standard models of computational and encrypted processes