This work is continuing at Agoric https://agoric.com/.

It was also the inspiration for the Cosmos IBC protocol. https://github.com/cosmos/ics/blob/master/ibc/2_IBC_ARCHITEC...