the initial code is forked/copied from https://github.com/axiom-crypto/halo2-scaffold. Follow readme there to run proofs. The goal of the repo is to implement proof system based on halo2-lib to verify linear algebra operations like svd, qr, eigen decomposition, and build algorithms based on eigenvectors like eigentrust.
src/reference: implementation of algebra computation in plain rust
src/zk: halo2 zk circuits
run cargo test in root folder to run tests
run cargo test in src/zk for zk specific tests
- impl svd in halo2 without too much optimization
- how to do fp
- unconstrained function?
- testing
- e2e proof system, run some metrics
- optimization
- add qr and eigen decomposition
- how to do fs with halo2 for randomness check protocol: https://hackmd.io/@axiom/SJw3p-qX3