护航舰 发表于 2025-3-28 15:43:26
Beata Zofia Filipiak knowledge (SNARKs). A closely related topic is subsequence arguments in which one can prove that string . is a subsequence of another string ., i.e., deleting some characters in . can achieve .. A dual notion, namely, non-subsequence arguments, is to prove that . is not a subsequence of .. These pr