compressed proof system