EgorKhaklin/Glass
GitHub: EgorKhaklin/Glass
Glass 是一种自编译到C语言的纯函数式编程语言，支持零知识证明。
Stars: 2 | Forks: 0
### 你可以直视其透。
[](https://github.com/EgorKhaklin/Glass/actions/workflows/tests.yml)
[](tests/test_glass.py)
[](docs/self-hosting.md)
[](pentecost/)
[](LICENSE)
让结构由你、模型或任何人生成。Glass 不问它从何而来。它只要求其真实性保持可见，而可见意味着可机器检查，而不仅仅是看似合理。
## 状态
Glass 是一种研究型语言，也是一项充满爱心的劳动成果。它自托管，通过了 422 项测试，在浏览器中运行，证明了函数的结果，并由第二个独立的验证者重新检查了该证明，是 `examples/frost/` 和 `examples/prove/` 中实验的基础。
它不是经过生产加固的，它也不假装自己是：上述每项声明都是一个你可以运行的命令，每个限制都明确地写下来——从 [soundness ledger](docs/soundness.md) 开始。没有任何东西是建立在信仰之上的，包括你对其的信任。
## 许可证
双重许可下使用 [MIT](LICENSE-MIT) 或 [Apache 2.0](LICENSE-APACHE)，由你选择。
标签：Apache 2.0, Glass, Hindley-Milner类型, STARK, 函数式编程语言, 双重验证, 实验性, 开源许可, 效果类型, 测试, 浏览器运行, 研究语言, 穷举匹配, 编译器, 自托管, 自编译, 零知识证明, 验证器