Nexus

We have a big vision and a big mission, and we need a skilled Talent Acquisition Partner to help bring that vision and mission to life. While we are proud of the cutting edge work we do while building a verifiable internet, we're also proud of the team we are assembling to reimagine what’s possible. So far we're a team of researchers, engineers, and brand builders. Now we need your help to connect us with the world’s top talent. Please check out our latest opening for a position (or share it with your favorite recruiters). If this position isn’t a fit, be sure to check out our other open roles. We're hiring across a number of verticals and would love to tell you more about what we are building. Join us:?https://lnkd.in/drGZtTys

We're honored to see tremendous worldwide interest and participation in the first beta release of the Nexus network- more than 70,000 people from 91% of the world’s countries are already contributing to Nexus’ mission of enabling the Verifiable Internet. In the past two weeks, the community proved a total of 732 million cycles with a peak total network speed of 813 Hz (cycles/sec). Check out the highlights from this first beta test and a preview of what’s coming next: https://lnkd.in/gW9cKaYs And, we're hiring –?check out our open roles here: https://lnkd.in/giQBdhen

Nexus Partners with Pi Squared to Make Verifiable Computing Ubiquitous Developers will be able to prove programs written in any language in the Nexus zkVM Our goal at Nexus is to make the Verifiable Internet ubiquitous and accessible to all. Together with Pi Squared, we're taking steps to make verifiable computing universal, interoperable, performant and easy to use. “Decades of research and engineering in cryptography and formal methods, now converge to make verifiability ubiquitous throughout the Internet. We’re beyond excited to join forces with Grigore and the Pi Squared team to bring this future to life.” - Daniel Marin, Nexus CEO and Founder The Nexus and Pi Squared partnership will enable developers to prove programs written in any programming language in the Nexus zkVM. The flexibility of Pi Squared’s technology takes any program developed in any language and translates it into Rust to be proved through the Nexus zkVM, which is powerful enough to prove any size computation. Pi Squared will integrate the Nexus zkVM with their Proof Checker, a system that greatly reduces the computational overhead of proving programs on the Nexus zkVM, and aims to streamline proof generation. Nexus and Pi Squared will produce proofs in parallel, making it faster to prove results of any on-chain operation. Pi Squared will integrate this pipeline into their Universal Settlement Layer, simplifying application interoperability and reducing reliance on error-prone compiler implementations. Our work together will enable interoperability for more cross-chain applications, including zero knowledge rollups, smart contracts and AI. "Computation is mathematics, thanks to formal semantics. Verify mathematics and you verify computing. Nexus has an amazing team of cryptographers and engineers, and a state-of-the-art zkVM. Together, we will lay the foundation for Verifiable Computing 2.0: universal, fast, and correct-by-construction." - Grigore Ro?u, Founder & CEO, Pi Squared Pi Squared will demonstrate the integration of the Nexus zkVM within Proof of Proof at the Permissionless III conference this week in Salt Lake City, Utah. Read more about Proof of Proof here. If you’re interested in learning more about this partnership or joining us in enabling the Verifiable Internet, contact us at [email protected].

Nexus and QED Protocol are working together to scale the Dogecoin Network: https://lnkd.in/gUPnUVcm We will leverage the power of Nexus’ technology to release a zero-knowledge virtual machine (zkVM) on the Dogecoin. We will also offer tools that empower developers to build a wide variety of secure and high-performance applications like decentralized exchanges and NFTs at incredibly low costs on Dogecoin. “What we are doing with Dogecoin can certainly be replicated in other ecosystems, and working with Carter and the team at QED, we are pushing the boundaries of what’s possible thanks to recent breakthroughs in zero knowledge technology,” Daniel Marin, Nexus CEO and Founder. We will apply these breakthroughs to other blockchains as part of our mission to enable the Verifiable Internet. If you want to join us on this mission, contact us at [email protected]

We’re aligning with Aligned Layer. Together, we will simplify verifiable computing and optimize the entire zero-knowledge proof and verification process. “We’re excited to partner with @alignedlayer and push the boundaries of ZK through innovations on both the prover and verifier sides. We will streamline the entire process of proving and verifying large computations with Aligned’s verifier service and Nexus zkVM. Simply code in Rust, prove it with Nexus, and verify it on Ethereum.” - Daniel Marin, Nexus CEO Aligned is the verification layer for Ethereum: they improve performance and cost of proof verification with their network. Aligned’s verifier network makes it faster and more affordable for anyone to prove and verify massive computations with Nexus, allowing developers to escape the verification constraints of the EVM. We're building a future where the integrity of computations and data are protected by proofs, empowering developers to create more secure, efficient, and trustworthy applications. This is just one step towards our mission of enabling the Verifiable Internet –?stay tuned for more. If you want to work with us to unlock the power of verifiable computation, contact us at [email protected].

Excited to share that Nexus is partnering with Polyhedra Network, and the amazing research team led by zhenfei zhang, to build a hyper-parallel zkVM powered by the GKR protocol, and push the frontiers of Verifiable Computation. Welcome to the Nexus ecosystem -- couldn't be more excited to work together, and beyond.

We're thrilled to announce the Nexus and Polyhedra Network partnership to build a hyper-parallel and ultra-performant zkVM powered by the GKR protocol: https://lnkd.in/grvQJMnE “We're excited to work with Polyhedra Network to accelerate the Nexus zkVM with Expander, GKR, and more. We've known their incredible research team led by Tiancheng Xie and Zhenfei Zhang for years and couldn’t be happier to work with them on pushing the frontiers of verifiable computation. The Nexus and Polyhedra partnership will bring decades of research and engineering to life.” - Daniel Marin, Nexus CEO and Founder Polyhedra consistently pushes cutting-edge ZK products to market- the Expander GKR prover already shows incredible performance on critical ZK workloads. “We are thrilled that the Nexus team has partnered with us to bring Expander’s record-breaking zero-knowledge proof generation performance to the Nexus zkVM. Building a new, verifiable Internet is an audacious goal and one we are excited to contribute to. We look forward to continued collaboration with the Nexus team, pushing the boundaries of what is possible with zero-knowledge technology and the GKR protocol.” - Tiancheng Xie, Polyhedra Network Co-founder and CTO This is just one step towards our mission of enabling the verifiable Internet – stay tuned for more. If you want to work with us to unlock the power of verifiable computation, contact us at [email protected].

Want to learn more about verifiable computation, zero knowledge and how Nexus is enabling the verifiable internet? Listen to our CEO, Daniel Marin, and Chief Scientist, Jens Groth dropping some knowledge about zero knowledge on this episode of ZK Podcast: https://lnkd.in/gwA_T2Pc

Today we’re announcing the Nexus 2.0 zkVM –?a major leap from last month’s 1.0 release and the next step toward our goal of scaling ZK to 1 trillion Hz of compute capacity. Our 2.0 machine includes a new prover frontend powered by the Jolt arithmetization system, a new prover backend powered by the HyperNova recursive proof system, and the Nexus SDK, a programmatic framework for producing multiple proofs in parallel and at scale. Visit docs.nexus.xyz to learn more, and nexus.xyz/careers to check out our open positions.

We're excited to announce a $25M Series A round co-led by Lightspeed and Pantera Capital, with participation from Dragonfly and others to bring zero-knowledge proofs to the fabric of the Internet. Read more at blog.nexus.xyz/series-a/. This follows an initial $2.2 million seed funding, led by Dragonfly in late 2022, with support from Alliance, SV Angel and more. And, we're expanding our San Francisco-based team. If you're excited about being part of a fundamental shift in the field of computation, check out our open listings at nexus.xyz/careers.