Skip to content
Change the repository type filter

All

    Repositories list

    • Rust
      Apache License 2.0
      131282Updated Nov 8, 2024Nov 8, 2024
    • The Nexus zkVM: The zero-knowledge virtual machine
      Rust
      Apache License 2.0
      238739312Updated Oct 8, 2024Oct 8, 2024
    • assets

      Public
      CSS
      0000Updated Aug 2, 2024Aug 2, 2024
    • ACL2 experiments on arithmetic circuits
      Common Lisp
      0000Updated Jul 31, 2024Jul 31, 2024
    • jolt

      Public
      The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto and friends. ⚡
      Rust
      MIT License
      145101Updated Jul 26, 2024Jul 26, 2024
    • .github

      Public
      MIT License
      0000Updated Jul 15, 2024Jul 15, 2024