可证明的

  1. secured_linked_list

    一种加密保障并可证明的链表

    v0.5.4 #linked-list #safe #safe-network #secured #provable #networking
  2. cairo-compile

    Cairo编程语言的Cairo编译器可执行文件

    v2.7.1 240 #programming-language #zero-knowledge-proofs #turing-complete #programs #executable #provable #starknet