hellwolf / yul-dsl-monorepo
The monorepo of YulDSL (a DSL for Solidity/Yul) and its programming frontend Yolc.
☆11Updated this week
Related projects ⓘ
Alternatives and complementary repositories for yul-dsl-monorepo
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆18Updated 3 months ago
- A support library for working with zero knowledge cryptography in Lean 4.☆31Updated 7 months ago
- A world's first zkWASM with a SuperNova backend☆20Updated this week
- Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.☆14Updated 8 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- ☆21Updated 5 months ago
- ☆19Updated 8 months ago
- ☆39Updated 2 years ago
- Mozak RISC-V Virtual Machine☆12Updated last month
- Interactive formal verification tool for Yul programs☆50Updated this week
- Assembly implementation of EIP-4788 system contract.☆21Updated 3 months ago
- Solidity implementation of Nova proving system verifier☆59Updated 8 months ago
- Fawkes-Crypto - zkSNARKs framework☆21Updated 9 months ago
- Groth16 verifier on Arbitrum Stylus☆19Updated 11 months ago
- A port of TinySMPC into Rust.☆21Updated last year
- ☆39Updated 10 months ago
- ☆31Updated 2 years ago
- PoC implementation of polynomial commitment scheme based Range Proofs☆12Updated last year
- ☆19Updated 2 years ago
- Noir implementation of RSA-verify☆41Updated 11 months ago
- Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆49Updated this week
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆10Updated 3 months ago
- ☆46Updated 3 years ago
- KZG commitments over BLS12-381☆32Updated 2 years ago
- Weiroll planner for ethers-rs☆16Updated last year
- bignum☆16Updated this week
- ☆46Updated 8 months ago
- Solves systems of polynomial equations.☆29Updated last year
- a rust SDK for the gelato relay, using ethers-rs☆30Updated last year
- A formal verification of Linear PCP SNARKs.☆48Updated 4 months ago