Xuyang Song
Xuyang Song
- [x] merge the integrity check circuit(spend note, output note, merkle tree, nullifier) - [ ] VP integrity commitment(need blake2) - [ ] blake2 and its circuit
It's straightforward to achieve and totally get rid of the limitation of having a fixed number of inputs and outputs in the transparent situation. The following discussion is gonna be...
The compliance constraint is a fixed circuit used to verify resource consumption and creation, along with other common logic. We can use accumulation to aggregate circuits with the same structure...
customer: @mariari performer: @XuyangSong deadline: null estimated: null started: null actual: null completed: null confirmed: null dependencies: - [ ] [Function privacy roadmap](https://research.anoma.net/t/taiga-function-privacy-roadmap/175) - [ ] [recursive zkp dependencies](https://github.com/anoma/anoma-pm-sync/issues/2) -...
customer: @mariari performer: @XuyangSong deadline: null estimated: null started: null actual: null completed: null confirmed: null dependencies: - [ ] --- Based on #246 VP proofs and public inputs are...
As Anoma spec evolved, there might be some inconsistencies between implementation and the spec. It's worth doing several sync rounds once the latest Anoma spec comes out.
Use the native circuit tool provided by Halo2 and other general performance tools to analyze our circuits and improve them.
Now, we have a straightforward blake2s hash circuit implementation, which could be more efficient. A lookup table with 8 bits would help. - [ ] convert the range check to...