If you can't encode it formally, good luck convincing anyone your ideas have merit. Sounds like your top feature is supposed to be blockchain that doesn't grow

If you can't encode it formally, good luck convincing anyone your ideas have merit. Sounds like your top feature is supposed to be blockchain that doesn't grow in size. What do you offer over Mimblewimble? Actually Mimblewimble's blockchain does actually grow, you just don't need to store two merged blocks, you can join their sum.