Viewing profile — wilcoxjay

This is a great question that permeates all verification work. In the lingo, we call the set of assumptions a proof makes the "trusted computing base" (see https://en.wikipedia.org…

Hey, I'm James Wilcox, another member of the Verdi team. This is a good question. More broadly, what do you have to trust in order to believe our claims? In addition to all the usu…