Linera Enables Provable Real-Time Applications Through Strategic Partnership with Argument Computer Corporation
New York, August 20, 2024 — Linera, a blockchain optimized for real-time applications, today announced a collaboration with Argument Computer Corporation, experts in functional programming and zero-knowledge proofs. The collaboration will enable the Linera protocol to verify and interact with proofs produced by Argument's Lurk zkVM. This will allow developers to create advanced zero-knowledge applications, and will enhance the security and interoperability of Linera itself. Argument will bring advanced features to Linera, including the ability to demonstrate the correctness of some of its operations to other blockchains. Additionally, the partnership will see both companies consulting with each other on new and upcoming products.
“Our collaboration with Argument will allow Linera to support proof technology, improve interoperability with other chains, and let developers deploy richer applications with zero-knowledge proofs,” said Mathieu Baudet, founder and CEO of Linera. “We are excited about this partnership and look forward to working with ZK builders in our ecosystem.”
"Linera's goal of enabling high-performance real-time blockchain-based applications aligns perfectly with our mission of accelerating verifiable computing," said John Bornham, CEO of Argument Computer Corporation. “Our cutting-edge Lurk zkVM will introduce new capabilities for the Linera protocol, and our proof technology will help ensure the correctness of Linera's operations. We are proud to support Linera and look forward to significant advancements in their blockchain.”
Argument Computer Corporation and Linera will work together to bring the following improvements:
Introduce new application capabilities in the Linera ecosystem: Linera will interact with proofs produced by the Lurk zkVM, a high-level programming environment for zero-knowledge proofs, allowing developers to deploy state-of-the-art proof-based applications using Linera.
Enhance the Linera protocol with proofs: Argument’s technology will allow Linera to prove the correctness of some of its operations to other blockchains, fostering interoperability.
Secure zero-knowledge operations: This will offer a new level of trust in the operations of the protocol, enhancing the security and reliability of the Linera blockchain.
About Linera
Linera is the first blockchain infrastructure optimized for real-time applications. Linera’s unique architecture lets users interact directly with small chains of blocks, called microchains, allowing applications to read and write onchain data with the lowest latency and highest security possible.
About Argument Computer Corporation
Argument Computer Corporation is dedicated to accelerating verifiable computing by improving the performance of verifiable computing technologies and promoting their widespread adoption. Argument is building a fast, safe, ergonomic, and portable zero-knowledge prover.