s-tikhomirov / solidity-latex-highlightingLinks
Include nice-looking Solidity examples into LaTeX files
☆117Updated 11 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:
- Verifiable Random Function (VRF) library written in Solidity☆101Updated 3 years ago
- Python wrapper and version management tool for the solc Solidity compiler.☆143Updated 2 weeks ago
- Elliptic Curve arithmetic operations written in Solidity☆180Updated 2 years ago
- Solidity crypto libraries, ring signatures, proof of knowledge, packed signatures etc. with matching Python implementations for secp256k1…☆291Updated 6 years ago
- zkSNARKS tutorial☆297Updated 6 years ago
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆136Updated 3 years ago
- Full BigNumber library implementation for Solidity.☆99Updated last year
- Get a merkle-proof from the blockchain. Verify it locally.☆195Updated last year
- This archived repository lacks recent updates. Developers seeking an actively maintained alternative should consider ethereum/py_ecc☆111Updated last year
- A pure solidity implementation of elliptic curve math, parameterised for curve secp256r1 / prime256v1 / p256.☆102Updated last year
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆154Updated 5 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆110Updated 3 years ago
- A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop☆242Updated last year
- Python implementation of ECC pairing and bn_128 and bls12_381 curve operations☆219Updated last week
- MythX smart contract security verification plugin for Truffle Framework☆126Updated 3 years ago
- fire many transactions at Ethereum node, then produce diagrams of TPS, blocktime, gasUsed and gasLimit, and blocksize.☆124Updated 2 years ago
- Solidity grammar for ANTLR4☆122Updated 5 years ago
- A JSON parser for solidity☆137Updated 6 years ago
- SOLTIX: Scalable automated framework for testing Solidity compilers.☆36Updated 4 years ago
- Utilities for interacting with the Ethereum virtual machine☆382Updated 6 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆180Updated 2 months ago
- Compile Solidity source code and verify its bytecode matches the blockchain☆87Updated last year
- Subset of public audit reports issued by ChainSecurity. For more, please visit:☆29Updated 2 years ago
- A solidity preprocessor and flattener CLI and library☆112Updated 2 years ago
- A package for doing Solidity and Python-style C3-linearization in ECMAScript☆15Updated 7 years ago
- Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.☆59Updated 5 years ago
- Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905☆57Updated 2 years ago
- Tutorial and example code for using libsnark☆190Updated 4 years ago
- Ethereum L2 scaling solution for private transactions using zk-SNARK and optimistic rollup.☆219Updated 2 years ago
- ☆128Updated 7 years ago