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
Sorting:
- ☆10Jun 17, 2022Updated 3 years ago
- It's Uniswap in a Box!☆13Jan 31, 2022Updated 4 years ago
- ☆10Mar 25, 2022Updated 3 years ago
- Monorepo for collection of Axiom V2 Typescript SDKs.☆14Oct 21, 2024Updated last year
- various contracts to set off or receive cross-chain calls☆10Apr 27, 2022Updated 3 years ago
- Vote-escrowed SUSHI built on ERC-4626 vault standard.☆15Apr 26, 2022Updated 3 years ago
- A simple TUI to assist in diffing bodies of text☆15May 9, 2024Updated last year
- An implementation of the Rift Protocol in Solidity☆15Jan 9, 2023Updated 3 years ago
- A basic example for how to use hashes to "store" complex objects as hashes. Inspired by 0xSplits.☆13Jul 30, 2022Updated 3 years ago
- Streamlined template for getting started with Foundry, Solmate and Hardhat☆10Dec 31, 2021Updated 4 years ago
- ☆12May 15, 2025Updated 9 months ago
- ☆18Sep 25, 2022Updated 3 years ago
- ☆16Oct 29, 2022Updated 3 years ago
- 🎁 Wrap a L2 ERC20 withdrawal event as an ERC1155 subtoken on L1 🎁☆16May 8, 2021Updated 4 years ago
- Library for interacting with RMM protocol through ethers.js.☆15Feb 4, 2023Updated 3 years ago
- 🛠️🪝 Pre-commit hooks for foundry forge fmt and snapshot.☆20Nov 14, 2022Updated 3 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Sep 1, 2018Updated 7 years ago
- Certora integration with the Forge testing framework of Foundry☆21Jun 8, 2023Updated 2 years ago
- A dynamic on-chain racing game with real simulations 🏎️☆22Sep 26, 2022Updated 3 years ago
- A Strategy to Maximize Yield for ETH on Arbitrum utilising Abracadabra and Sushiswap☆15Jan 8, 2022Updated 4 years ago
- Alchemix v2 audit target☆14Aug 28, 2023Updated 2 years ago
- My version of a clone factory with immutable args WIP!☆18May 7, 2022Updated 3 years ago
- ☆16Apr 19, 2022Updated 3 years ago
- evm implementation in rust☆16May 26, 2022Updated 3 years ago
- A minimal contract with a lock/redeem/refund mechanism.☆23Feb 27, 2022Updated 4 years ago
- Lightweight, Gracefull Push + Pull Pattern Demo☆20May 10, 2022Updated 3 years ago
- Proof-of-concept of NFT integrating ENS and Gravatar.☆19Sep 26, 2024Updated last year
- ✦ Risedle interface☆19Aug 2, 2022Updated 3 years ago
- repository for machine learning algorithms and systems on emergent runtimes☆21Jan 31, 2023Updated 3 years ago
- zen minimal foundry template☆29Apr 1, 2025Updated 11 months ago
- ☆17Jul 1, 2022Updated 3 years ago
- A dollar auction implementation in Solidity.☆25May 17, 2022Updated 3 years ago
- LP and Strategy Vaults for RageTrade/core☆22Oct 6, 2022Updated 3 years ago
- The same CrypToadz you know and love, preserved on-chain.☆18Aug 24, 2023Updated 2 years ago
- Fuel cryptographic primitives.☆21Jan 4, 2023Updated 3 years ago
- ☆26Apr 23, 2023Updated 2 years ago
- ☆20Oct 20, 2022Updated 3 years ago
- FHE library☆25Apr 19, 2024Updated last year
- Experimental python optimistic rollup fraud-proof generation☆29Aug 30, 2022Updated 3 years ago