joe
joe
Decide if spending and output should be in one circuit or two, and implement the PBC spec for this circuit(s)
We should give at least a proof of concept example where the tx builder/VP prover is not the owner of a Note - [ ] Implement example
At first, we're implementing all VPs in "Rust" (using `ark-plonk` gadgets directly). It would be nice to have at least one example of a VP written in a high level...
Not sure if this is the right place for this, but we've found frequently needing to `read` or `write` data while simultaneously hashing the data. Based on the implementation in...