Awesome
<img src=https://raw.githubusercontent.com/zk-ml/linear-a-site/main/logo/linear-a-logo.png width=64/> uchikoma: essentialist neural network transpiler for non-floating-point runtimes
uchikoma is a transpiler from TVM's intermediate representation to programming languages targeting emergent runtimes that do not support floating point operations. We currently support/plan to support:
- Circom for ZKP systems, which uses field arithmetic
- Solidity for Ethereum Virtual Machines, which uses signed and unsigned integer arithmetic
The finalist submission for ETHSanFransico 2022 can be found under branch ethsf-2022
.