https://github.com/zk-ml/uchikoma

essentialist neural network transpiler for non-floating-point runtimes
https://github.com/zk-ml/uchikoma

Last synced: about 2 months ago
JSON representation

essentialist neural network transpiler for non-floating-point runtimes

• Host: GitHub
• URL: https://github.com/zk-ml/uchikoma
• Owner: zk-ml
• Created: 2022-11-06T09:58:54.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2022-11-07T22:35:47.000Z (over 1 year ago)
• Last Synced: 2024-02-01T22:37:04.985Z (5 months ago)
• Language: Python
• Homepage:
• Size: 5.14 MB
• Stars: 28
• Watchers: 2
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Lists

• awesome-zkml - Linear A - uchikoma
• awesome-zkml - Linear A - uchikoma

README

        
 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:

 - [x] 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`.