s-tikhomirov / solidity-latex-highlighting

Related projects: ⓘ

• witnet / vrf-solidity
  Verifiable Random Function (VRF) library written in Solidity
  ☆96Updated 2 years ago
• tdrerup / elliptic-curve-solidity
  A pure solidity implementation of elliptic curve math, parameterised for curve secp256r1 / prime256v1 / p256.
  ☆98Updated 5 months ago
• jstoxrocky / zksnarks_example
  zkSNARKS tutorial
  ☆295Updated 5 years ago
• firoorg / solidity-BigNumber
  Full BigNumber library implementation for Solidity.
  ☆92Updated 2 months ago
• witnet / elliptic-curve-solidity
  Elliptic Curve arithmetic operations written in Solidity
  ☆166Updated last year
• eth-sri / zkay
  A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…
  ☆81Updated 8 months ago
• costa-group / EthIR
  A framework for high-level Analysis of Ethereum Bytecode
  ☆14Updated last month
• nevillegrech / MadMax
  Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities
  ☆130Updated last year
• coder5876 / libsnark-tutorial
  Tutorial and example code for using libsnark
  ☆188Updated 3 years ago
• crytic / evm_cfg_builder
  EVM CFG recovery
  ☆118Updated last year
• UliGall / scientific-blockchain-conferences-journals
  Redacted list of scientific Blockchain Conferences and Journals
  ☆21Updated last year
• thec00n / etherscan_verified_contracts
  Verified contracts synced from Etherscan
  ☆62Updated 5 years ago
• usyd-blockchain / vandal
  Static program analysis framework for Ethereum smart contract bytecode.
  ☆161Updated 3 years ago
• shaunazzopardi / solidity-cfg-builder
  A control-flow graph builder for Solidity smart contracts.
  ☆26Updated 4 years ago
• christoftorres / Osiris
  A tool to detect integer bugs in Ethereum smart contracts (ACSAC 2018).
  ☆60Updated last year
• ethereum / py_pairing
  Elliptic curve operations, including pairings
  ☆105Updated 3 years ago
• ApeWorX / py-solc-x
  Python wrapper and version management tool for the solc Solidity compiler.
  ☆138Updated 4 months ago
• nescio007 / teether
  ☆134Updated 3 years ago
• kframework / solidity-semantics
  Semantics of Solidity in K
  ☆29Updated 4 years ago
• nveloso / conkas
  Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution
  ☆70Updated last year
• muellerberndt / sabre
  Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.
  ☆60Updated 4 years ago
• federicobond / solidity-parser-antlr
  A Solidity parser for JS built on top of a robust ANTLR4 grammar
  ☆154Updated 4 years ago
• drandreaskrueger / chainhammer
  fire many transactions at Ethereum node, then produce diagrams of TPS, blocktime, gasUsed and gasLimit, and blocksize.
  ☆122Updated last year
• solidityj / solidity-antlr4
  Solidity grammar for ANTLR4
  ☆123Updated 4 years ago
• Consensys / python-solidity-parser
  An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚
  ☆141Updated 2 months ago
• ethereum / py_ecc
  Python implementation of ECC pairing and bn_128 and bls12_381 curve operations
  ☆188Updated 3 weeks ago
• solidity-parser / parser
  A Solidity parser for JS built on top of a robust ANTLR4 grammar
  ☆151Updated 6 months ago
• clearmatics / zeth
  Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905
  ☆57Updated last year
• eth-sri / securify
  [DEPRECATED] Security Scanner for Ethereum Smart Contracts
  ☆215Updated 4 years ago
• leonardoalt / ethereum_formal_verification_overview
  Overview of the formal verification projects in the Ethereum ecosystem.
  ☆317Updated 9 months ago