Visual Studio Code extension for SECBIT Solidity Static Analyzer
☆11Mar 30, 2019Updated 7 years ago
Alternatives and similar repositories for vscode-secbit-ssae
Users that are interested in vscode-secbit-ssae are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Fix for the contracts which are not compatible with ERC20☆25Oct 15, 2019Updated 6 years ago
- The SECBIT Static Analysis Extension to Solidity Compiler☆18Jan 31, 2019Updated 7 years ago
- Mini Ethereum Virutal Machine☆14Jul 31, 2018Updated 7 years ago
- The underlying core library for zkPoD system☆21Jan 21, 2020Updated 6 years ago
- Correctness proofs of Ethereum token contracts☆97Jun 5, 2019Updated 6 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆16Mar 4, 2020Updated 6 years ago
- [DEPRECATED] Ethereum Verified Contracts☆12Jun 29, 2018Updated 7 years ago
- A language protocol implementation for Huff☆14Nov 2, 2022Updated 3 years ago
- ☆10Dec 11, 2020Updated 5 years ago
- Simplified Deployment Validation of EVM-Based Smart Contracts☆37Mar 6, 2026Updated 2 months ago
- 248 country flag SVG icons☆12Mar 25, 2023Updated 3 years ago
- SpecOps is a low-level, domain-specific language and compiler for crafting Ethereum VM bytecode. The project also includes a CLI with cod…☆16Aug 18, 2024Updated last year
- GUI program that logs a detailed history of executed terminal commands for easier access.☆51Dec 24, 2018Updated 7 years ago
- Solidity gas optimization notes☆10Apr 27, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- rcs1☆14Aug 26, 2024Updated last year
- To bring zero knowledge privacy primitives to all web3 developers.☆13Oct 20, 2023Updated 2 years ago
- Ethereum's RLP encoding implemented as a Serde data format☆13Oct 10, 2022Updated 3 years ago
- ☆13Oct 21, 2020Updated 5 years ago
- Client library for interacting with Zax Cryptographic Relay☆11Jul 27, 2021Updated 4 years ago
- ☆17Jul 14, 2018Updated 7 years ago
- 🦞 Lobster DAO NFT smart contracts☆17Oct 8, 2021Updated 4 years ago
- A Rust macro for quickly unwrapping a refutable pattern.☆12Nov 10, 2023Updated 2 years ago
- A repository for Solidity smart contracts acting as security bug tests for static analysis tools.☆33Oct 14, 2021Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆18Aug 31, 2022Updated 3 years ago
- ZK proofs for Brainfuck execution using powdr☆17Aug 28, 2024Updated last year
- ☆15Jun 23, 2023Updated 2 years ago
- ☆32Nov 30, 2023Updated 2 years ago
- Foundry blog posts' executable demos☆14Apr 30, 2025Updated last year
- A Hardhat plugin to test Huff contracts☆14Jan 8, 2024Updated 2 years ago
- Smart contracts for zkPoD Decentralized Exchange☆14Dec 10, 2022Updated 3 years ago
- A Vyper LSP☆14Jun 10, 2025Updated 11 months ago
- ☆16Aug 1, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆33Mar 24, 2020Updated 6 years ago
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Jan 30, 2024Updated 2 years ago
- Fast RLP serialization library☆14Mar 6, 2026Updated 2 months ago
- A SIMD implementation of Keccak256 for aarch64, forked from Remco Bloeman's Goldilocks K12 implementation.☆21Nov 6, 2023Updated 2 years ago
- 🗂Simple indexer service for Ethereum blockchains☆18Sep 5, 2020Updated 5 years ago
- Sync Things 3 and your GTD Trello Board!☆15Jan 12, 2020Updated 6 years ago
- High-Level languages for zkSNARKs, Fully-Homomorphic-Encryption and Multi-Party-Computation☆22Apr 12, 2019Updated 7 years ago