r/computebazaar proof