rst proof-of