tintinweb / vscode-circom-pro
👩💻 Circom compiler, snippets, hover and language support for Visual Studio Code
☆15Updated 2 years ago
Alternatives and similar repositories for vscode-circom-pro:
Users that are interested in vscode-circom-pro are comparing it to the libraries listed below
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- ☆31Updated 2 years ago
- A puzzle for Curta CTF☆26Updated last year
- ☆30Updated 2 years ago
- Better assertion macros for pure Huff tests.☆19Updated last year
- ☆18Updated 2 years ago
- Huff-based Smart Contracts for creating Metamorphic (or "redeployable") EVM Contracts.☆46Updated last year
- Simple, reliable, open-source contract verification built for an L2 centric Ethereum ecosystem☆23Updated last year
- Safe multi-sig rewritten in Huff☆13Updated 2 years ago
- Scikit-learn compatible Python library for generating ZK proofs of execution☆18Updated 2 months ago
- ☆21Updated last year
- 📄 Contracts for ERC-5564 Stealth Addresses and ERC-6538 Stealth Meta-Address Registry☆33Updated 9 months ago
- A tool for single Ethereum archival block state proofs.☆35Updated last year
- ☆28Updated 3 years ago
- A king-of-the-hill style competition, where players optimize gas challenges.☆21Updated last year
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Updated 10 months ago
- An Isolated Safe Environment to Execute Foundry Projects.☆44Updated 2 years ago
- ☆22Updated 2 years ago
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆55Updated 2 years ago
- Gas-Efficient Solidity DateTime Library☆20Updated 2 years ago
- ☆28Updated last year
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆28Updated 2 years ago
- ☆35Updated 2 years ago
- Curta CTF #12☆20Updated last year
- Hardhat plugin to inspect linearization of Solidity contract.☆12Updated 2 years ago
- Use the EVM cache state to shim transient storage☆20Updated 2 years ago
- WETH Implementation in Vyper + gas comparisons to WETH9 and WETH10☆16Updated last year
- utilities for more granular and realistic gas measuring in forge tests☆30Updated last year
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated 9 months ago
- GOO(Gradual Ownership Optimization) issuance implementation using Huff☆34Updated 2 years ago