Name Suggestions for the Library

[quangvdao]

This is a thread to discuss the name for this library.

Given that this library aims to be the central hub for formalizing (succinct) cryptographic arguments, we have currently chosen to name it "ArgLib" (changing from an earlier name of "ZKLib" which is not as accurate, as our focus is not on zero-knowledge but arguments in general).

It is possible to further improve on the name, and I want this to be an interactive process where the community can propose new names & have public discussion about the merit of each name, similar to the Coq->Rocq renaming.

Please leave comments on how you think this library should be called, and your reasons to do so!

[ericsson49]

AoKLib or ARKLib - "Argument of Knowledge Library".
Justification: "Argument" is a too broad notion, while "Argument of Knowledge" is a standard in some sense (e.g. SNARK/STARK).

[alexanderlhicks]

argLib and arkLib both seem fine to me (I'm using lowerCamelCase convention because I'm just lazy when it comes to pressing shift), arklib is maybe slightly easier to pronounce but that might depend on each person's accent.
In the case of AoKLib it is less obvious how to pronounce it.

[quangvdao]

Changed to "ArkLib" for now 😄 but keep the suggestions coming

[quangvdao]

Here's a suggestion: Arkhive

One letter away from "archive", pronounced basically the same, or split up as "ark-hive". Clearly fits this library's purpose of being an archive of (formally verified) arguments of knowledge. Both the "ark-" and the "-hive" parts evokes a sense of structure & community, with references to Noah's ark & beehives.

Here's an AI-generated logo to accompany the name:

And an AI-generated header for README:

(of course, these images are just prototypes, to get the conversation going)

[alexanderlhicks]

The only issue with arkhive is the clash with arxiv.

[quangvdao]

Some more name suggestions by Alessandro:

Arkotheca - Ark + Bibliotheca (library in Latin)

Arkodex - Ark + Codex (old root for book)

Lark - Lean + Ark

[alexanderlhicks]

Arkotheca: 0 results on google or github.
Arkodex: 0 results on github, google returns some stuff about arcodex which is some kind of pill.
Lark: one notable clash on github (https://github.com/lark-parser/lark) and google also points to https://www.larksuite.com/en_sg.

Arklib/Arglib didn't have any notable clashes (i.e. only github repos with 0 stars/little activity and some random python packages). Arklib also seemed to clash with the arkansas library association but that's presumably not a big issue.

I guess this would point towards Arkotheca and Arkodex potentially having better SEO?