الثلاثة P → بيرفورمانت → جندي → قابل للإثبات كل إيداع، وطلب، وإلغاء، وسحب على Hyliquid يتم خارج السلسلة ولكن مثبت داخل SP1 الخاص ب Succinct. يظهر Hyliquid ما هو ممكن عندما تعامل الأنظمة البراهين التشفيرية كبدائية أساسية. هيليكويد.