Jak dokázat mnoho rozsahů v nulových znalostech, rychleji než neprůstřelné? 👇 Minulé léto jsme pracovali na sériovém důkazu řady ZK s @TrishaCDatta, @nazirkamilla, @rex1fernando a @danboneh. Chtěli jsme dostatečně stručnou, ale mnohem rychlejší konstrukci, která by se dala použít pro PVSS.
932