A method includes: generating a set of output entries based on a set of initial entries; identifying a matching pair of entries in the set of output entries; generating a first forward-propagated entry in a second set of entries based on the first matching pair of entries; identifying a second matching pair of entries in the second set of entries; identifying a group of initial entries associated with the second matching pair of entries; extracting a subset of bits, in a set of target bits, from each initial entry in the group of initial entries; generating a second forward-propagated entry—representing a proof fragment—in a third set of entries in a third table by encrypting the set of target bits; generating a plot file representing a set of tables including the third table; and storing the plot file.