https://github.com/4gboframram/rust-type-fuckery
饭卡: rust语言一直以编写困难闻名,特别是类型约束,写起来让人头大。用rust类型系统实现brain fuck,或许这场脑爆练习能更好的帮助你深入理解rust类型系统。
https://eprint.iacr.org/2023/1284.pdf
dream: GKR版本的多变量的 logup argument
https://browser.engineering/index.html
Harry: 网络浏览器无处不在,但它们是如何工作的呢?本书将用几千行 Python 语言解释如何构建一个从网络到 JavaScript 的基本但完整的网络浏览器。
如果觉得我的文章对您有用,请随意打赏。你的支持将鼓励我继续创作!