v0.6.0

[0.6.0] - 11-03-21

Added

• Implement dusk_bytes::Serializable for all possible structures that need serde. #352
• Introduced a new type that unifies the Public Inputs PublicInputValue. #416
• Impl padded_circuit_size for VerifierKey #351
• Impl a generic method that can verify Proofs of any Circuit. #396

Removed

• Remove Canon impl for Proof. #450
• Remove serde support completely from the repo. #353
• Removed previous implementations attached to PublicInputValues. #416
• Deprecated anyhow and thiserror. #343
• Remove serialisation module and use single serialization fn's. #347
• Remove uncessary match branch for var_c #414
• Remove legacy fns and move to test modules the only-for-testing ones. #434

Changed

• Constrained as much as possible the visibility of fns, structs and it's fields #438]
• Store the sparse repr of the PI and positions in a BTreeMap #427
• Transcript Init and trim size are associated constants of the Circuit trait #351
• Replace collections::HashMap by hashbrown::HashMap. #424
• Circuit trait now only requires padded_circuit_size for trimming. #351
• Remove verify_proof & build_pi from Circuit. #396
• Update API naming conventions to be standard across the crate. #354
• Updated the native errors to all originate from the same enum. #343