Die Gesellschaft bezweckt die Entwicklung und den Vertrieb von Software für verifiable computation, künstliche Intelligenz und privacy-preserving-Technologien sowie die Erbringung von Forschungs, Beratungs- und anderen Dienstleistungen in diesem Bereich. Die Gesellschaft kann Zweigniederlassungen und Tochtergesellschaften im In- und Ausland errichten und sich an anderen Unternehmen im In- und Ausland beteiligen, gleichartige oder verwandte Unternehmen erwerben oder sich mit solchen zusammenschliessen sowie alle Geschäfte tätigen, die direkt oder indirekt mit dem Gesellschaftszweck in Zusammenhang stehen oder diesen fördern. Sie kann Grundstücke in der Schweiz (nur mit ausschliesslich kommerzieller Nutzung) und im Ausland, Immaterialgüterrechte und Lizenzen aller Art erwerben, verwalten, belasten und veräussern. Sie kann auch Finanzierungen für eigene oder fremde Rechnung vornehmen sowie Garantien und Bürgschaften für Tochtergesellschaften und Dritte eingehen.