PROOFCOIN Trademark

Software development services; provision of temporary use of online non-downloadable open-source software for implementing a computer programming language; provision of temporary use of online non-downloadable open-source software for use in performing computations, creating and executing computational algorithms, analyzing data, accessing data, visualizing data, and deploying computer software applications and electronic hardware implementations of those algorithms; provision of temporary use of online non-downloadable open-source software for implementing a compiler for computer programming language; software development in the field of software related to building zero-knowledge proof infrastructure to improve the safety and scalability of verifiable computation and provision of temporary use of online non-downloadable software for building zero-knowledge proof infrastructure to improve the safety and scalability of verifiable computation; development of technology in the nature of domain-specific languages, compiler tooling, and proving system backends; development of technology in the nature of software development tools for creating blockchain-based software applications and provision of blockchain related technologies being temporary use of online non-downloadable software for implementing a computer programming language; development of technology in the nature of software development tools for creating blockchain-based software applications and provision of blockchain related technologies being temporary use of online non-downloadable software for implementing a compiler for computer programming language; development of technology in the nature of software development tools for creating blockchain-based software applications and provision of blockchain related technologies being temporary use of online non-downloadable software for use in performing computations, creating and executing computational algorithms, analyzing data, accessing data, visualizing data, and deploying computer software applications and electronic hardware implementations of those algorithms; providing temporary use of online non-downloadable software for implementing a computer programming language; providing temporary use of online non-downloadable software for implementing a compiler for computer programming language; providing temporary use of online non-downloadable software for use in performing computations, creating and executing computational algorithms, analyzing data, accessing data, visualizing data, and deploying computer software applications and electronic hardware implementations of those algorithms

recorded software for implementing a computer programming language; recorded software for implementing a compiler for computer programming language; recorded software for use in performing computations, creating and executing computational algorithms, analyzing data, accessing data, visualizing data, and deploying computer software applications and electronic hardware implementations of those algorithms; downloadable computer programs for implementing a computer programming language; downloadable computer programs for implementing a compiler for computer programming language; downloadable computer programs for use in performing computations, creating and executing computational algorithms, analyzing data, accessing data, visualizing data, and deploying computer software applications and electronic hardware implementations of those algorithms; recorded computer programs for implementing a computer programming language; recorded computer programs for implementing a compiler for computer programming language; recorded computer programs for use in performing computations, creating and executing computational algorithms, analyzing data, accessing data, visualizing data, and deploying computer software applications and electronic hardware implementations of those algorithms; downloadable computer operating system programs; recorded computer operating system programs; downloadable computer utility programs for performing computer maintenance; recorded computer utility programs for performing computer maintenance; downloadable computer software for implementing a computer programming language; downloadable computer software for implementing a compiler for computer programming language; downloadable computer software for use in performing computations, creating and executing computational algorithms, analyzing data, accessing data, visualizing data, and deploying computer software applications and electronic hardware implementations of those algorithms; recorded computer software for implementing a computer programming language; recorded computer software for implementing a compiler for computer programming language; recorded computer software for use in performing computations, creating and executing computational algorithms, analyzing data, accessing data, visualizing data, and deploying computer software applications and electronic hardware implementations of those algorithms; downloadable computer software development tools; recorded computer software development tools; downloadable computer program instructional manuals in electronic format distributed with the aforementioned goods for using the aforementioned goods