research/zheng vs starks.md markdown research Ο 0.01% 33 words Β· 1 min --- title: "zheng: a self-proving proof system" tags: cyber, research, article crystal-type: article crystal-domain: cyber authors: [cyber] date: 2026-03-23 status: moved --- # zheng: a self-proving proof system moved to zheng-vs-starks. Graph Graph