tma-16
miden-vm
tma-16 | miden-vm | |
---|---|---|
2 | 6 | |
11 | 590 | |
- | 2.4% | |
0.0 | 9.4 | |
about 2 years ago | 4 days ago | |
Rust | Rust | |
GNU General Public License v3.0 only | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
tma-16
-
I guess I should be glad I cut my teeth on C++ and Java, wouldn't have wanted my growth stunted learning Python and then being afraid of everything that isn't babies first programming language.
/uj this is actually true https://github.com/DanteFalzone0/tma-16
- TMA-16 Assembly: a language for giving beginners a helpful and friendly intro to Assembly programming
miden-vm
-
Proof systems, trusted setups and recursive proofs
Miden VM: https://github.com/0xPolygonMiden/miden-vm
- Proof of 0 == 1 in Polygon Miden (ZK-Rollup Solution)
- Proof of 0 == 1 in Polygon Miden
-
LRC vs MATIC and other L2s
So is the alpha Polygon Miden https://github.com/maticnetwork/miden
-
RiB Newsletter #30
Polygon Miden. A STARK-based virtual machine.
What are some alternatives?
osmini - Mini operating system with a graphical interface, for x64 platforms, in Rust and Assembly [just started]
risc0 - RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
starlight - JS engine in Rust
plonk - A pure Rust PLONK implementation using arkworks as a backend.
customasm - 💻 An assembler for custom, user-defined instruction sets! https://hlorenzi.github.io/customasm/web/
GHSA-862g-9h5m-m3qv
lumen - An alternative BEAM implementation, designed for WebAssembly
brainwallet - Rust command line program for Bitcoin brainwallet as implemented at https://www.bitaddress.org
GHSA-hf79-8hjp-rrvq
zeekoe - Zero-knowledge layer-2 payment channels
wagyu - A Rust library for generating cryptocurrency wallets
GHSA-6mv9-qcx2-3hh3