logos-storage/circom-witnessgen
1
0
Fork 0
mirror of https://github.com/logos-storage/circom-witnessgen.git synced 2026-01-07 23:43:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

update the README

Browse Source
This commit is contained in:
Balazs Komuves 2025-03-18 17:25:06 +01:00
parent a597168daf
commit 2420269dc4
No known key found for this signature in database
GPG Key ID: F63B7AEF18435562
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
README.md
View File

@ -26,13 +26,18 @@ you won't need to ship a binary graph file.
### Implementation status ### Implementation status
Compiler (in Haskell): Haskell witness generator:
- [x] parsing the graph file - [x] parsing the graph file
- [x] parsing json input - [x] parsing json input
- [x] naive interpreter - [x] naive interpreter
- [x] exporting the witness - [x] exporting the witness
- [ ] Cabalize - [ ] Cabalize
- [ ] refactor the parser to be nicer
- [ ] use high-performance algebra
Haskell compiler:
- [ ] constantine backend - [ ] constantine backend
- [ ] zikkurat backend - [ ] zikkurat backend
- [ ] arkworks backend - [ ] arkworks backend
@ -50,6 +55,11 @@ Nim witness generator (to be used with [`nim-groth16`](https://github.com/codex-
I haven't yet done any proper testing, apart from "works for our purposes". I haven't yet done any proper testing, apart from "works for our purposes".
Known bugs:
- comparison ignores the "signed" semantics of circom
- integer division and modulo is not implemented
### Circuit optimizations ### Circuit optimizations
NOTE: you _have to_ run `circom` with the `--O2` options, otherwise the NOTE: you _have to_ run `circom` with the `--O2` options, otherwise the