gioannides / MIPS_SIMULATORLinks
MIPS simulator in C++
☆13Updated 6 years ago
Alternatives and similar repositories for MIPS_SIMULATOR
Users that are interested in MIPS_SIMULATOR are comparing it to the libraries listed below
Sorting:
- Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and mu…☆61Updated last year
- ZPrize 2022 - All qualified entries☆55Updated 2 years ago
- ☆15Updated last year
- Code to accompany "Weightless Neural Networks for Efficient Edge Inference", PACT 2022☆22Updated 3 years ago
- cuZK: An Efficient GPU Implemetation of zkSNARK☆38Updated 2 years ago
- ☆21Updated last year
- repository for machine learning algorithms and systems on emergent runtimes☆21Updated 3 years ago
- Zero-knowledge gadget for Sparse Merkle Tree.☆19Updated 3 years ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Updated 2 years ago
- An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs☆59Updated 5 years ago
- My Cornell PhD dissertation: Scaling the Infrastructure of Practical Blockchain Systems☆15Updated 4 years ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Updated 3 years ago
- A repository for the Leela VS the World project for On-Chain machine learning☆20Updated last year
- Research repository for distributed GPU based zkSNARKs prover☆23Updated 7 years ago
- Combined solution from Matter Labs and Yrrid based on their respective submissions for the Z-Prize category Accelerating MSM Operations o…☆16Updated 2 years ago
- ☆10Updated 6 years ago
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Updated 2 years ago
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Updated 5 years ago
- Tornado cash fork with blacklist to prevent illegal money laundering☆10Updated 2 years ago
- A custom-designed distributed blockchain for sharing service☆21Updated 3 weeks ago
- The entry point for Rust projects to be run on Valida☆10Updated 10 months ago
- FPT: a Fixed-Point Accelerator for Torus Fully Homomorphic Encryption☆26Updated 5 months ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆47Updated last month
- FRI low-degree-testing & polynomial commitment scheme☆24Updated 2 years ago
- Delve into low-level RISC Zero machine☆30Updated 2 years ago
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆50Updated 3 years ago
- A Cairo VM prover implemented using Winterfell☆17Updated 2 years ago
- Implementation of polynomial KZG proofs and 257-ary verkle trie☆24Updated 4 years ago
- ☆11Updated 4 months ago
- building blocks for accelerating ZK proofs over binary fields☆48Updated 7 months ago