[Tracking] Upgrade structs, remove duplication, refactor codebase, improve ergonomics

[howardwu]

Motivation

Upgrade struct conventions, remove duplication, improve ergonomics.

Merged changes:

• (Implement Snark standards for Marlin #180) Implements the SNARKVerificationGadget trait for the Marlin verification gadget
• (Isolate integer and bits gadgets out of the traits::utilities module #186) Isolate integer and bits gadgets out of the traits::utilities module
• (Migrate snarkvm-nonnative to snarkvm-gadgets::nonnative #188) Migrate snarkvm-nonnative to snarkvm-gadgets::nonnative
• (Migrate snarkvm-objects to snarkvm-dpc::block #189) Migrate snarkvm-objects to snarkvm-dpc::block

General changes:

• Renames dpc/src/base_dpc to dpc/src/testnet1
• Removes duplicate Assignment trait in dpc/src/lib.rs
• Renames to snarkos-integration to .snarkos-integration and include in workspace for testing
• Adds CI for each crate in the workspace

Trait changes:

• Renames trait Program to ProgramScheme
• Renames trait Record to RecordScheme
• Renames trait Transaction to TransactionScheme
• Renames trait RecordSerializerScheme to RecordEncodingScheme
• Update trait SNARK internal types from AssignedCircuit to AllocatedCircuit, PreparedVerifcationParameters to PreparedVerifyingKey, Parameters to ProvingKey, and VerificationParameters to VerifyingKey

Struct changes:

• Renames struct DPCRecord to Record
• Renames struct DPCTransaction to Transaction
• Renames struct DPCTransactions to Transactions
• Renames struct RecordSerializer to RecordEncoding, and renames internal methods serialize to encode and deserialize to decode
• Renames struct DeserializedRecord to DecodedRecord
• Renames struct Parameters to ProvingKey for snarkos-algorithms/snark
• Renames struct RecordPayload to Payload
• Moves AleoAmount from snarkvm-objects to snarkvm-dpc
• Removes unused AmountError

Parameter changes:

• Modularizes parameters into global/ and testnet1/ directories
• Update all references of InnerSNARKID to InnerCircuitID, InnerSNARKVerificationKeyCRH to InnerCircuitIDCRH, inner_snark_verification_key_crh to inner_circuit_id_crh, and inner_snark_vk_crh to inner_circuit_id_crh

[codecov]

Codecov Report

Merging #185 (c884868) into master (de6b3d7) will increase coverage by 0.20%.
The diff coverage is 85.71%.

@@            Coverage Diff             @@
##           master     #185      +/-   ##
==========================================
+ Coverage   92.70%   92.91%   +0.20%     
==========================================
  Files          72       63       -9     
  Lines        2770     2696      -74     
==========================================
- Hits         2568     2505      -63     
+ Misses        202      191      -11     

Impacted Files	Coverage Δ
parameters/src/errors/parameter.rs	0.00% <ø> (ø)
parameters/src/lib.rs	100.00% <ø> (ø)
parameters/src/macros.rs	75.00% <0.00%> (ø)
.integration/src/lib.rs	100.00% <100.00%> (ø)
parameters/src/testnet1/genesis/block.rs	85.71% <100.00%> (ø)
utilities/src/bytes.rs	89.65% <0.00%> (-0.97%)	⬇️
fields/src/fp2.rs	94.31% <0.00%> (+0.06%)	⬆️
curves/src/bls12_377/fq6.rs	100.00% <0.00%> (+10.00%)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update de6b3d7...c884868. Read the comment docs.