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
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- 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 last month
- 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
- 248 country flag SVG icons☆12Mar 25, 2023Updated 3 years ago
- GUI program that logs a detailed history of executed terminal commands for easier access.☆52Dec 24, 2018Updated 7 years ago
- Solidity gas optimization notes☆10Apr 27, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- rcs1☆13Aug 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆18Aug 31, 2022Updated 3 years ago
- ☆15Jun 23, 2023Updated 2 years ago
- ZK proofs for Brainfuck execution using powdr☆17Aug 28, 2024Updated last year
- ☆32Nov 30, 2023Updated 2 years ago
- Foundry blog posts' executable demos☆14Apr 30, 2025Updated 11 months ago
- 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 10 months ago
- ☆16Aug 1, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆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 last month
- 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 6 years ago