bakkot/proposal-frozen-set

@bradennapier

@Agoric

University of Utah, @indiana-university, @regenstrief

@melmedia @DataRubrik