#succinctnoninteractiveargumentofknowledge