.
Today we’ll introduce “Satisfiability Modulo Finite Fields” (SMFF): a recent research paper that promises to make verifying ZK systems easier. The paper is authored by Alex Ozdemir from Stanford University, who’s currently doing an internship at Veridise, and by Gereon Kremer (Stanford University),