zkay
Smart contract compiler
Tools and language for compiling and deploying private smart contracts on the Ethereum blockchain
A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.
83 stars
11 watching
21 forks
Language: Python
last commit: about 1 year ago blockchaincompilerethereumprivacyprogramming-languagezero-knowledge-proofs
Related projects:
| Repository | Description | Stars |
|---|---|---|
| eth-sri/securify | A security scanner for Ethereum smart contracts | 219 |
| eth-sri/securify2 | An automated security scanner for Ethereum smart contracts | 589 |
 rust-ethereum/ethabi | Encodes and decodes function calls and their output in smart contracts | 518 |
 ethereum/solc-js | A JavaScript interface to a compiler for the Solidity programming language used in Ethereum smart contracts. | 1,464 |
 zyield/eth_contract | A set of helper methods to call and query Ethereum smart contracts via JSON RPC. | 14 |
 shimmi/smart-contracts-skeleton | A set of tools to help develop and test smart contracts on the Ethereum blockchain | 23 |
 originprotocol/security | Provides security-related resources and tools for developers building smart contracts on the Ethereum blockchain | 200 |
 flintlang/flint | Develops a new type-safe programming language for writing robust smart contracts on Ethereum. | 245 |
 pubkey/eth-crypto | Provides cryptographic functions for Ethereum transactions and smart contracts | 884 |
 shanzson/smart-contract-auditor-tools-and-techniques | A comprehensive collection of tools and techniques for auditing and securing smart contracts on the Ethereum blockchain. | 642 |
 merklejerk/solpp | A preprocessor and flattener for Ethereum's Solidity source files | 112 |
 meherett/pytest-solidity | Tests smart contracts written in Solidity on the Ethereum blockchain | 27 |
 lukehedger/sulk | A tool that automates the process of compiling Solidity smart contracts with configuration stored in separate files. | 9 |
 pzbitskiy/tealang | A high-level language for creating Algorand smart contracts with an imperative syntax similar to Go or JavaScript. | 37 |
 arbazkiraak/smartcontractlearning | A Solidity-based smart contract framework for learning and interacting with Ethereum contracts | 17 |