s-tikhomirov / solidity-latex-highlighting
Include nice-looking Solidity examples into LaTeX files
☆118Updated 3 months ago
Alternatives and similar repositories for solidity-latex-highlighting
Users that are interested in solidity-latex-highlighting are comparing it to the libraries listed below
Sorting:
- Full BigNumber library implementation for Solidity.☆98Updated 7 months ago
- Verifiable Random Function (VRF) library written in Solidity☆102Updated 2 years ago
- Python wrapper and version management tool for the solc Solidity compiler.☆140Updated 11 months ago
- Elliptic Curve arithmetic operations written in Solidity☆175Updated last year
- A pure solidity implementation of elliptic curve math, parameterised for curve secp256r1 / prime256v1 / p256.☆103Updated last year
- Tutorial and example code for using libsnark☆192Updated 3 years ago
- Python implementation of ECC pairing and bn_128 and bls12_381 curve operations☆205Updated 3 weeks ago
- This archived repository lacks recent updates. Developers seeking an actively maintained alternative should consider ethereum/py_ecc☆111Updated 5 months ago
- Verified contracts synced from Etherscan☆62Updated 6 years ago
- A framework for high-level Analysis of Ethereum Bytecode☆19Updated last week
- ☆25Updated 6 years ago
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆133Updated 2 years ago
- Get a merkle-proof from the blockchain. Verify it locally.☆193Updated last year
- A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop☆242Updated 6 months ago
- A JSON parser for solidity☆138Updated 5 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆170Updated 3 weeks ago
- A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…☆84Updated last year
- Generate & verify Merkle-Patricia-proofs for Ethereum☆108Updated 2 years ago
- ☆126Updated 6 years ago
- ☆138Updated 3 years ago
- A tool to detect integer bugs in Ethereum smart contracts (ACSAC 2018).☆63Updated 2 years ago
- Static program analysis framework for Ethereum smart contract bytecode.☆163Updated 3 years ago
- Implementation of elliptic curve operations on G2 for alt_bn128 in Solidity.☆56Updated 6 months ago
- EVM CFG recovery☆123Updated last year
- Solidity crypto libraries, ring signatures, proof of knowledge, packed signatures etc. with matching Python implementations for secp256k1…☆287Updated 5 years ago
- This repository contains the RAW results of the vulnerability analysis of 9 tools on 47,587 smart contracts. These results are presented …☆76Updated 4 years ago
- Abstraction layer for smart contract build systems☆171Updated last week
- Cryptographic accumulator based on the strong RSA assumption, Python & Solidity☆77Updated 6 years ago
- A Mastermind game using zk-snarks☆167Updated 2 years ago
- Subset of public audit reports issued by ChainSecurity. For more, please visit:☆30Updated last year