FE'd Up Covenants

Protocol Design
2

Hi Jeremy,

thanks for this, looks very interesting. As I’m reading I’m seeing something that looks like a typo:

"Next, encrypt m " - should that be p ? and,

UniqueSecKey(p, TX) = Add(m, CTVHash(TX))

Same, shouldn’t m be p here?