I don't see the benefits of these. Just because I can manually encrypt and decrypt I don't have more confidence in the cipher. If I already trust the cipher I might as well trust a program that does the encryption and decryption.
So if there is no proof of work how do you avoid forks? The author says something about splits being detectable but that doesn't really help us decide on which side of the split is correct.