taiga

taiga copied to clipboard

I think we need to have a clearly identified API for Taiga app developers. It needs to be defined, but some items that come to mind are encode/decode data to/from...

bazzilic

I believe this things might make the Taiga overview more complete: - binding signature high-level overview - note encryption high-level overview - more complex examples of applications - explain functional...

vveiln

We have a particular version of hash_to_curve implementation, which uses the Poseidon hash and only supports fixed-length input. - [ ] generalize the hash_to_curve gadget implementation - [ ] add...

XuyangSong

Example

2

## Description ## Sub-tasks ## Definition of Done

nzarin

Sudoku Example

2

The goal of this application is to demo how Taiga works. Pending work: - [ ] Define Token VP - [x] Define Intent VP - [x] Define Sudoku App VP...

Acentelles

Implement AppVP Commitment

1

- [ ] Implement VP commitment that uses this Blake2 hash gadget Depends on #145

Acentelles

Decrypt notes

1

We will use the same mechanism as Zcash and MASP except we need the encryption constraints in the circuit. When a transaction is successfully executed, the recipient (or a delegator)...

Acentelles

- [ ] Mock solver - [ ] Publish intents - [ ] Publish public data

Acentelles

This implements one part of the verification circuit: the `compute_b` part (see [here](https://github.com/zcash/halo2/blob/677866d65362c0de7a00120c515a9583b2da2128/halo2_proofs/src/poly/commitment/verifier.rs#L145)). The circuit computes $\prod_i (1+u_{k-1-i} x^{2^i})$ but for 32 challenges $u_i$, it runs out of memory when...

simonmasson