On 25/01/18 11:01, Kristian Fiskerstrand wrote: > On 01/25/2018 11:04 AM, Michał Górny wrote: > >> The verification is implemented using app-portage/gemato. Currently, > ... "implemented in", as opposed to "using"? its implemented using > various cryptographic primitives, but gemato is the implementation > itself of sorts. > > "implemented with gemato" ?