Xuyang Song
Xuyang Song
We've Implemented a bunch of independent circuits used inside of Taiga.(e.g. conditional_equal, conditional_select, hash_to_curve, note_encryption, blake2 hash, etc, etc.). It would be better to refactor the circuits to an independent...
Create an example to elaborate on the process of minting and burning: - [ ] a simple govern sub-vp to control the minting and burning - [ ] Integrate the...
Create an example to indicate the resource transformation between shielded and transparent.
Problem: when allowing the shielded and transparent mixing, a transparent partial transaction could consume the shielded notes(intents). The private information of shielded notes(intents) could be deduced from the transparent ptx...
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...
Can I use the stark-platinum-prover in situations that need to hide private data? According to winterfell [Implement perfect zero-knowledge #9](https://github.com/facebook/winterfell/issues/9), it hasn't implemented the feature yet. From an [article](https://reilabs.io/blog/introducing-hints-in-cairo-programming-language/), it...
The implementation of supporting a variable number of resources, close #263 - [x] Build a merkle tree from full leaves and get the path for the designated leave - [x]...
based on https://github.com/anoma/aarm-cairo/pull/28 close https://github.com/anoma/anoma/issues/1297
customer: performer: deadline: estimated: started: actual: completed: confirmed: dependencies: - [ ] supersedes: - --- - [x] Investigate encryption methods for cairo backend to achieve verifiable encryption. - [x] implement...
Merge it after #1319 close #1296 - check the compliance hash in cairo RM - add an API `get_cairo_program_hash`