Research of efficient MNIST feature transformations, research zkML-friendly ML models for it, implement in transpiler and examples
@kpandl 已经在做这个了。
开始于 2023年9月19日。
评估
这个 Issue 还没有评估数据。
描述
The goal is to further improve MNIST performance (classification accuracy and constraint usage). For this, the following milestones need to be completed:
Milestone 1, feature pre-processing techniques
- Task: Research feature transformations that transform the MNIST images into lower-dimensional features with rich information
- Deliverable: Python code that performs feature pre-processing, experimental results how valuable the different techniques are for MNIST classification using common ML models
- Date: Thu, 9/28
Milestone 2, zkML-friendly ML model exploration
- Task: Research ML models that can classify these features well while being zkml-friendly
- Deliverable: Prototypical implementation of these models in Leo, estimation of constraint size
- Date: 10/4
Milestone 3, implementation of further models in the transpiler
- Task: Implement one (or more) promising models in the zkml Leo transpiler, run MNIST tests with these models
- Deliverable: Updated python code for the transpiler, Jupyter notebook running MNIST in Leo with the updated transpiler
- Date: 10/18
- 主要语言
- Python
- 星标
- 45
- 派生
- 51
- 平均合并
- 3 天 18 小时
- 30 天内合并 PR
- 2
贡献指南
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
ProvableHQ/python-sdk 的其他 Issue
-
难度 4/5 3-5 天 新手友好度 65/100
ProvableHQ/python-sdk#48 ·
-
难度 3/5 1-2 天 新手友好度 35/100
ProvableHQ/python-sdk#43 ·
-
难度 5/5 一周以上 新手友好度 25/100
ProvableHQ/python-sdk#7 ·
查看 ProvableHQ/python-sdk 的全部 Issue
相似的 Issue
-
难度 2/5 1-3 小时 新手友好度 78/100
syfoud/Simulated_Scepter#172 ·
-
A cancelled tests run makes the coverage comment workflow fail and reports it as a red check on main 未关闭area: ci bug perceived difficulty: 3
难度 2/5 1-3 小时 新手友好度 78/100
Nitjsefnie-Harness-Commons/daedalus#921 · 1 条评论 ·
-
难度 2/5 1-3 小时 新手友好度 86/100
EleutherAI/lm-evaluation-harness#4207 ·
-
难度 1/5 1 小时以内 新手友好度 92/100
-
难度 2/5 1-3 小时 新手友好度 78/100
ClickHouse/clickhouse-connect#1057 ·