joe
joe
There is a feature "bundled-prover" which embeds the generated proving params into the binary using wagyu-zcash-parameters (obviously this will need to be updated with different parameters) There should be a...
Currently, the specifications for MASP are divided among several places: 1. The original Zcash Sapling specification 2. The cryptographic MASP specification at https://github.com/anoma/masp/blob/main/docs/multi-asset-shielded-pool.pdf 3. The MASP transaction format and validity...
Prototype circuit for a conversion-and-mint case
For first iteration, we want to use a separate circuit for VP privacy. In the long run, this may take a different approach with Accumulation. This requires: - [ ]...
Our transactions are substantially more complex than Zcash transactions. Tx building: - [x] Proving all Transfers - [x] Proving all VPBlinds - [x] Proving all VPs - [ ] Tx...
- [x] Add `asset_type` field to Note - [x] Add `token_vp` public input to the circuit with verification against `asset_type` - [x] Add `data` field to Note (for NFTs, etc)...
We're currently planning on using the [ZK Garage PLONK](https://github.com/ZK-Garage/plonk) as the proving system. But we need: - [ ] https://github.com/ZK-Garage/plonk/issues/108 - [x] https://github.com/ZK-Garage/plonk/issues/41 - [ ] https://github.com/ZK-Garage/plonk/issues/81 - [ ]...
This issue is to add verifiable encryption to the output note encryption. This is necessary because VP-authorized shielded transactions are generated by third parties, and in the current design, that...