Implementing a Turing-complete computer (OISC) within a zk-SNARKS circuit.
☆13Nov 24, 2021Updated 4 years ago
Alternatives and similar repositories for zkoisc
Users that are interested in zkoisc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Sep 1, 2018Updated 7 years ago
- 🎁 Wrap a L2 ERC20 withdrawal event as an ERC1155 subtoken on L1 🎁☆16May 8, 2021Updated 4 years ago
- A simple TUI to assist in diffing bodies of text☆15May 9, 2024Updated last year
- Monorepo for collection of Axiom V2 Typescript SDKs.☆14Oct 21, 2024Updated last year
- Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf☆14Jan 4, 2022Updated 4 years ago
- It's Uniswap in a Box!☆13Jan 31, 2022Updated 4 years ago
- ☆10Mar 25, 2022Updated 3 years ago
- ☆26Apr 23, 2023Updated 2 years ago
- Vote-escrowed SUSHI built on ERC-4626 vault standard.☆15Apr 26, 2022Updated 3 years ago
- A collection of practical circom circuits☆14May 19, 2022Updated 3 years ago
- A rust library implementing the protocol specifications for Syncthing clients (Currently in Development)☆13Feb 2, 2021Updated 5 years ago
- various contracts to set off or receive cross-chain calls☆10Apr 27, 2022Updated 3 years ago
- ☆10Jun 17, 2022Updated 3 years ago
- ☆10Aug 21, 2022Updated 3 years ago
- Implements hermez network zk-Snarks circuits☆56Jun 29, 2023Updated 2 years ago
- ☆12May 15, 2025Updated 10 months ago
- A basic example for how to use hashes to "store" complex objects as hashes. Inspired by 0xSplits.☆13Jul 30, 2022Updated 3 years ago
- Kate-Zaverucha-Goldberg Polynomial Commitments☆29Nov 20, 2021Updated 4 years ago
- ☆16Oct 29, 2022Updated 3 years ago
- Streamlined template for getting started with Foundry, Solmate and Hardhat☆10Dec 31, 2021Updated 4 years ago
- Smart Contract tools to help streamline Ethereum dapp development and deployment☆13Oct 16, 2017Updated 8 years ago
- Library for interacting with RMM protocol through ethers.js.☆15Feb 4, 2023Updated 3 years ago
- RLN circuits in Noir☆13Nov 18, 2023Updated 2 years ago
- CopperBoy is a portable fully working Arduboy emulator written in Rust.☆19May 21, 2024Updated last year
- Simple Circom circuit and a parser to func with Groth16 and snarkjs☆13Jun 6, 2023Updated 2 years ago
- Circuit playground for learning Zero-Knowledge Proofs in circom.☆11Feb 7, 2024Updated 2 years ago
- ☆18Sep 25, 2022Updated 3 years ago
- An implementation of the Rift Protocol in Solidity☆15Jan 9, 2023Updated 3 years ago
- My version of a clone factory with immutable args WIP!☆18May 7, 2022Updated 3 years ago
- Certora integration with the Forge testing framework of Foundry☆21Jun 8, 2023Updated 2 years ago
- ☆24Aug 16, 2024Updated last year
- A dynamic on-chain racing game with real simulations 🏎️☆22Sep 26, 2022Updated 3 years ago
- repository for machine learning algorithms and systems on emergent runtimes☆21Jan 31, 2023Updated 3 years ago
- Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve☆13Jul 12, 2023Updated 2 years ago
- 📃 List of articles and materials about Modular Blockchain☆22May 24, 2022Updated 3 years ago
- A Strategy to Maximize Yield for ETH on Arbitrum utilising Abracadabra and Sushiswap☆15Jan 8, 2022Updated 4 years ago
- evm implementation in rust☆16May 26, 2022Updated 3 years ago
- A small block explorer for geth PoAs written in rust☆17Feb 2, 2020Updated 6 years ago
- Syntax files for Yul☆18Jun 27, 2021Updated 4 years ago