...inary (application) `share-data` package
note: see more `Cargo.toml` keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
cd share-data
```
## Static
- Static 变量的值在整个程序运行期间都有效
- 拥有 `'static` 生命周期
- 只能用...
...,但是SUMCHECK协议(Carsten Lund, Lance Fortnow, Howard J. Karloff, and Noam Nisan. “Algebraic Methods for Interactive Proof Systems”, 1992)是许多“可验证计算”原语的基础。如果你正在阅读本文,你可能已经知道它的重要性。
设$\mathbb{F}$是一个有...