U.S. federal trademark · Serial No. 90050523 · Reg. No. 7231145
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
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
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.