ZK Basics | Ep. 8: Bakit ganda ang gastos ng ZK proofs Ang pag-verify ng proof ay nangangailangan ng ilang milyosekondo. Ang paggawa nito ang mahal. Narito kung saan napupunta ang pera: 1. Ang computation ay muling isinusulat. Dapat i-convert ang iyong program sa isang anyo na makakapag-prove ng matematika—isang circuit. Walang libre sa hakbang na ito. 2. Ang pag-prove ay mabigat. Ang pagbuo ng proof ay maaaring magtake ng libo-libong beses na higit sa compute kaysa sa pagpapatakbo ng programang normal. 3. Mga espesyalisadong hardware. Ang seriyosong proving ay tumatakbo sa GPUs at custom chips, kaya may buong industriya na nakatuon sa proving infrastructure. 4. Mabilis na bumababa. Ang gastos ay bumaba ng mga orden ng magnitude sa ilang taon, kung bakit umabot ang ZK mula sa mga papel patungo sa production. Ang tradeoff: magbayad ng isang beses para mag-prove, at hayaan ang lahat na i-verify nang mura magpakailanman. I-save ang isa na ito💜