Abraxas proof — reusable verification across applications