s-tikhomirov / solidity-latex-highlightingLinks
Include nice-looking Solidity examples into LaTeX files
☆117Updated 6 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
- Elliptic Curve arithmetic operations written in Solidity☆177Updated 2 years ago
- zkSNARKS tutorial☆296Updated 6 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆155Updated 4 years ago
- Solidity crypto libraries, ring signatures, proof of knowledge, packed signatures etc. with matching Python implementations for secp256k1…☆287Updated 6 years ago
- A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…☆89Updated last year
- Solidity standard library (Array, random, math, string)☆66Updated 7 years ago
- Full BigNumber library implementation for Solidity.☆99Updated 10 months ago
- This archived repository lacks recent updates. Developers seeking an actively maintained alternative should consider ethereum/py_ecc☆112Updated 8 months ago
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆134Updated 2 years ago
- Tutorial and example code for using libsnark☆190Updated 4 years ago
- Python implementation of ECC pairing and bn_128 and bls12_381 curve operations☆212Updated 3 months ago
- MythX smart contract security verification plugin for Truffle Framework☆127Updated 3 years ago
- ☆128Updated 6 years ago
- A pure solidity implementation of elliptic curve math, parameterised for curve secp256r1 / prime256v1 / p256.☆103Updated last year
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆177Updated 2 weeks 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☆123Updated 5 years ago
- Python wrapper and version management tool for the solc Solidity compiler.☆143Updated 2 months ago
- Ethereum L2 scaling solution for private transactions using zk-SNARK and optimistic rollup.☆219Updated 2 years ago
- Papers of smart contract security analysis (and tools)☆36Updated 6 years ago
- A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop☆242Updated 9 months ago
- Subset of public audit reports issued by ChainSecurity. For more, please visit:☆31Updated last year
- Get a merkle-proof from the blockchain. Verify it locally.☆193Updated last year
- Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.☆60Updated 4 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆111Updated 2 years ago
- A Mastermind game using zk-snarks☆167Updated 3 years ago
- scale ethereum with snarks☆370Updated 2 years ago
- Smart Contracts Design Patterns in the Ethereum Ecosystem and Solidity Code☆60Updated 4 years ago
- 🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs☆96Updated 6 years ago