אנגלית ⇄ סינית +

succinct non-interactive arguments
.קריפט	简洁的非交互式参数论证