Twitter | Website | Medium

Overview: Modulus Early Access Program (MEAP)

Over the past year, Modulus Labs have been working on something really special — Remainder, the world’s most powerful ZKML prover. We believe Remainder is the only way to enable a future of accountable AI without trusted parties, and we want to invite *you—*brilliant hacker/coder/mathematician—to have the first peek!

These researchers are terrified of A.I. They’re counting on cryptography to keep our future robot overlords in check

Our origin story, as covered by Fortune

Remainder is a specialized, GKR-based zero-knowledge prover for verifiable (”zero-knowledge proof”) machine learning inference! In other words, using Remainder, you can build machine learning operations whose correct execution will always come with a proof of correct execution.

MEAP 1 will be a two-week course starting in early June consisting of a super small cohort of just 10-12 folks 😁 You will be guided personally by folks on the Modulus team — @Benjamin Wilson (PhD, University of Sydney), @vishruti (MIT), and @Ryan Cao (Stanford) — in both the intricacies of GKR theory and its applications to verifiable machine learning, as well as concrete circuit-writing within Remainder!

<aside> ⭐ Ready to apply? https://itrrvgq8qar.typeform.com/to/RUAc0iTc

</aside>

Program Objectives

By the end of MEAP 1, you will:

• Understand the application of cryptographic techniques to verifiable computation, particularly machine learning inference
• Understand multilinear extension polynomials, sumcheck, and GKR from the ground up
• Understand multilinear lookups and specialized sumcheck protocols for accelerating verifiable machine learning inference
• Comfortably write circuits of all shapes and sizes for verifiable computation with Remainder
• Have hands-on experience with integrating lookups and other advanced features within Remainder

Q&A