There is a proposal from David Chaum called PrivaTegrity: https://eprint.iacr.org/2016/008.pdf https://eprint.iacr.org/2016/008.pdf As to the proof of stake al

There is a proposal from David Chaum called PrivaTegrity: https://eprint.iacr.org/2016/008.pdf https://eprint.iacr.org/2016/008.pdf As to the proof of stake algorithms - the efforts to do it in a strict way all fail - I have a feeling that it might be impossible.