closes #37

• Adds the auto-generated weights.rs file, from the benchmark process.
• Integrates each extrinsic's weight function.
• Benchmarking is performed with a more typical AWS instance described in the README

CI/CD : Create check.yml for compilation and formatting github action

• The check.yml first runs yamllint
• Then installs rustup and runs the following commands: cargo check --release cargo fmt --all -- --check cargo nightly clippy --release cargo test --release

This is part of storage refactor with: https://github.com/Manta-Network/Manta/pull/152

The major goal is to remove all the O(N) operations with O(1) (or at least O(Log N) ) operations.

• [x] update to v2-macro. (Thanks a lot to @ghzlatarev 's prototype code)
• [x] test new storage data structures
• [x] finalize storage data structure design
• [x] reimplement pallet-manta-pay
• [x] move zkp unit tests to manta-api
• [x] rewrite frame unit tests
• [x] update readme.md
• [x] performance tests with empty ledger state.
• [x] create a binary for generating pre-computed coins
• [x] readme, doc, semantic versioning.

closes #54

Add additional CI to checkout and build the Manta repository when pallet-manta-pay is updated:

1. git clone https://github.com/Manta-Network/Manta
2. cd Manta
3. replace line in Cargo.toml file with sed
4. cargo build --release --all-features

Refactor asset id and balance. [Only merge when all check box checked].

• [x] refactor asset id and balance
• [x] store ciphertext for both mint and transfer
• [x] pass all internal test
• [x] pass framebenchmark test

closes #48

• Adding the following must-fail tests for the private_transfer extrinsic
  • transferring_with_hash_param_mismatch_should_not_work
  • transferring_spent_coin_should_not_work_sender_1
  • transferring_spent_coin_should_not_work_sender_2
  • transferring_with_invalid_ledger_state_should_not_work
  • transferring_existing_coins_should_not_work
  • transferring_with_invalid_zkp_param_should_not_work
  • transferring_with_zkp_verification_fail_should_not_work
• Adding the following must-fail tests for the reclaim extrinsic:
  • reclaim_without_init_should_not_work
  • reclaim_with_overdrawn_pool_should_not_work

• moving out the crypto algorithms to manta-crypto
• moving out the asset definitions to pallet-manta-pay
• better circuit abstraction
• [Important] better extrinsic interfaces: this breaks some of current API

TODO

• [x] Add merkle tree update for UTXOs
• [x] Use verification keys from manta-sdk
  • [x] Import the verification keys
  • [x] Deserialize them to use them for verification
• [x] Update tests for new protocol
• [ ] Recompute weights
• [x] Update dependencies:
  • [x] https://github.com/Manta-Network/sdk/pull/3
  • [x] https://github.com/Manta-Network/manta-rs/pull/13

• Updated APIs/documentation at the pallet implementation level
• converted tests

Updates to Storage

• had to add TwoToOneHashChecksum to the storage system
• will have to change all of the stored checksums because the new ones are different (at the minimum they will be different for verifying keys)

TODO

• [ ] Fix failing test cases (they fail because of arkworks bugs)
• [x] Convert benchmarks
• [ ] Fix failing benchmarks
• [ ] Audit the pallet implementation

I was having trouble with the macros trying to call transfer_zkp_key_checksum and reclaim_zkp_key_checksum from manta-subxt, so I just changed the variable naming schemes to be consistent with CoinShard and it seemed to fix it, unclear why. This PR is paired with an update to Manta.

closes #48

Adding the following must-fail tests for the private_transfer extrinsic

• reclaim_with_hash_param_mismatch_should_not_work
• reclaim_with_overdrawn_pool_should_not_work
• reclaim_spent_coin_should_not_work
• reclaim_spent_coin_should_not_work_2
• reclaim_with_invalid_zkp_param_should_not_work
• reclaim_with_invalid_ledger_state_should_not_work
• reclaim_with_zkp_verification_fail_should_not_work