| risc0/risc0 |
1,231 |
|
0 |
17 |
about 2 years ago |
35 |
November 09, 2023 |
133 |
apache-2.0 |
C++ |
| RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture. |
| AleoHQ/snarkVM |
843 |
|
0 |
42 |
about 2 years ago |
91 |
November 25, 2023 |
137 |
apache-2.0 |
Rust |
| A Virtual Machine for Zero-Knowledge Executions |
| 0xPolygonMiden/miden-vm |
565 |
|
0 |
10 |
about 2 years ago |
8 |
October 11, 2023 |
104 |
mit |
Rust |
| STARK-based virtual machine |
| andrewmilson/ministark |
296 |
|
0 |
1 |
over 2 years ago |
2 |
October 27, 2023 |
11 |
mit |
Rust |
| 🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs |
| dyne/Zenroom |
177 |
|
2 |
17 |
about 2 years ago |
746 |
January 23, 2024 |
59 |
agpl-3.0 |
C |
| Embedded no-code VM executing human-like language to manipulate data and process cryptographic operations. |
| 25077667/VMPilot |
165 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
apache-2.0 |
C++ |
| VMPilot: A Modern C++ Virtual Machine SDK |
| GuildOfWeavers/distaff |
139 |
|
0 |
0 |
over 5 years ago |
0 |
|
10 |
mit |
Rust |
| Zero-knowledge virtual machine written in Rust |
| BSidesSF/ctf-2017-release |
121 |
|
0 |
0 |
about 5 years ago |
0 |
|
3 |
mit |
Ruby |
| BSidesSF CTF 2017 release |
| nervous-systems/sputter |
108 |
|
1 |
0 |
about 7 years ago |
1 |
May 16, 2018 |
0 |
unlicense |
Clojure |
| Ethereum Virtual Machine (EVM) implementation |
| jedisct1/rust-sthash |
65 |
|
0 |
0 |
almost 3 years ago |
19 |
December 13, 2022 |
0 |
bsd-2-clause |
Rust |
| Very fast cryptographic hashing for large messages. |
