At Axiom we're excited to announce OpenVM, a performant and modular zkVM framework built for customization and extensibility. Designed in collaboration between Axiom, Scroll and individual contributors including Max Gillett, the v0.1 release of OpenVM includes proofs of unbounded length Rust programs, onchain verification, and VM extensions including ECDSA, optimal Ate pairing, and int256 and modular arithmetic.

To learn more, check out:

• Blog: https://blog.openvm.dev/announce

• Github: https://github.com/openvm-org/openvm

• OpenVM release tweet: https://x.com/openvm_org/status/1868702764022526282

• Axiom release tweet: https://x.com/axiom_xyz/status/1868702665330638931

The following links are the summary of article and the specific article respectively.

• https://x.com/m2magician/status/1868591692963848335

• https://np.engineering/posts/arithmetic-circuits/

The article reviews 2024's major math breakthroughs, including the geometric Langlands conjecture proof, sphere-packing advances, AI's growing role in math, and progress in number theory like the Riemann hypothesis and abc conjecture.

• https://www.quantamagazine.org/the-year-in-math-20241216/

The article reviews 2024’s advances in computer science, including breakthroughs in AI understanding, quantum error correction, the fifth busy beaver problem, and quantum algorithms, while highlighting challenges in cryptography, efficiency, and AI’s slowing progress.

• https://www.quantamagazine.org/the-year-in-computer-science-20241219/

The article explores entropy as a measure of disorder and ignorance, tracing its evolution from thermodynamics to information theory. It highlights entropy’s subjectivity, its ties to knowledge and uncertainty, and its profound implications for physics, decision-making, and human understanding.

• https://www.quantamagazine.org/what-is-entropy-a-measure-of-just-how-little-we-really-know-20241213/

This library aims to provide a modular and composable framework for formally verifying cryptographic proof systems (e.g. SNARKs) based on Interactive (Oracle) Proofs. This is done as part of the Verified zkEVM project.

• https://github.com/Verified-zkEVM/ZKLib

This library enables the creation of zero-knowledge proofs, exposing cryptographic primitives facilitating the development of a Verifiable Credentials (VCs) system capable of handling both Anonymous Credentials and Selective Disclosure Credentials.

• https://github.com/Cybersecurity-LINKS/zkryptium

• https://blog.succinct.xyz/solana-sp1/

• https://ethresear.ch/t/so-you-wanna-post-quantum-ethereum-transaction-signature/21291

• https://ethresear.ch/t/tidbits-of-post-quantum-eth/21296

• Play Video

• Play Video

• https://eprint.iacr.org/2024/2025

• https://blog.beal.io/posts/mira/

• https://eprint.iacr.org/2024/2026

• https://eprint.iacr.org/2024/2038

• https://eprint.iacr.org/2024/2040

• https://eprint.iacr.org/2024/2044

• https://eprint.iacr.org/2024/2048

• https://eprint.iacr.org/2024/2052

• https://eprint.iacr.org/2024/2058

If you’d like to receive updates via email, click subscribe button below. Stay informed and never miss a post.