Core library of zero-art asynchronous verifiable group management protocol. It encapsulates the following crates:

• art -- different ART trees routines
• zk -- zero-knowledge proofs for ART trees based on bulletproofs
• cortado -- carefully crafted elliptic curve defined over bulletproofs' ristretto scalar field (e.g. 'native elliptic curve' for bulletproofs)
• crypto -- various cryptographic primitives (X3DH etc.)

The main goal of the project is developing of distributed/federated messanger with features:

• support of p2p chats (with Signal protocol)
• support of large groups (> 1000 members) with custom ART-based protocol
• advanced identity management (with different identity modes)
• service provider intentionally does not know user identities (however, optional directory service does)
• mostly all user operations is provable so that service providers are mostly trustless entities that simply route users' messages
• e2e encryption by default in p2p and group modes