ALEXANDRIA, Va., Aug. 20 -- United States Patent no. 12,395,340, issued on Aug. 19, was assigned to RISC Zero Inc. (Seattle).
"Zero knowledge prover" was invented by Jeremy Bruestle (Seattle), Brian Retford (Seattle) and Frank Laub (Seattle).
According to the abstract* released by the U.S. Patent & Trademark Office: "Methods, systems, and apparatus, including computer programs encoded on a computer storage medium, for implementing a zero knowledge prover are disclosed. In one aspect, a method includes the actions of accessing an instruction set of a processor. The actions include generating a representation of a computing instruction using Boolean logic operations. The actions include assigning a polynomial constraint of a group of polyno...