zkSnark: Hạn chế đa thức

Tôi đang đọc phần giải thích về zkSnark được viết bởi Maksym Petkus - http://www.petkus.info/papers/WhyAndHowZkSnarkWorks.pdf

Tôi đã hiểu mọi thứ trong 15 trang đầu tiên.

Trong 3.4 Giới hạn một đa thức (Trang 16)

Chúng tôi đã hạn chế một trình chứng minh trong việc lựa chọn các quyền hạn được mã hóa của s, nhưng hạn chế đó không được thực thi, ví dụ: người ta có thể sử dụng bất kỳ phương tiện có thể để tìm một số giá trị tùy ý $z_p$ và $z_h$ thỏa mãn phương trình $z_p = (z_h)^{t(s)}$ và cung cấp chúng cho người xác minh thay vì $g^p$ và $g^h$. Ví dụ, đối với một số r ngẫu nhiên $z_h = g^r$ và $z_p = (g^{t(s)})^{r}$, ở đâu $g^{t(s)}$ có thể được tính toán từ quyền hạn được mã hóa được cung cấp của $s$. Đó là lý do tại sao người xác minh cần bằng chứng chỉ cung cấp mã hóa quyền hạn của $s$ đã được sử dụng để tính toán $g^p$ và $g^h$ và không có gì khác.

Tôi không thể hiểu làm thế nào một người tục ngữ có thể tìm thấy một số giá trị tùy ý của $z_p$ và $z_h$ thỏa mãn $z_p = (z_h)^{t(s)}$? Ví dụ, đối với một số r ngẫu nhiên $z_h = g^r$ và $z_p = (g^{t(s)})^{r}$

Người tục ngữ không biết $s$ & anh ấy cũng không biết $g$, vậy anh ấy sẽ làm điều này như thế nào?

Nói tóm lại, tôi không thể tìm ra cuộc tấn công (để bảo vệ chống lại) để "hạn chế đa thức" là gì.