tokamak-network / python-snarks
☆15Updated 3 years ago
Related projects: ⓘ
- Plasma EVM contracts for Tokamak Network☆21Updated 7 months ago
- Plasma EVM client☆24Updated last year
- Zero Knowledge based Ethereum Virtual Machine in Circom language☆15Updated 3 years ago
- Merklux is a framework for general state plasma with economic incentives☆8Updated last year
- Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum☆82Updated last year
- ☆10Updated last year
- Typescript implementation of Solidity Types☆8Updated last year
- ☆12Updated last year
- Solidity Merkle Mountain Range Library☆27Updated last year
- the GHOST protocol implementation on solidity.☆23Updated 5 years ago
- A programmable open source blockchain engine☆38Updated last year
- A Smart Way to Operate Smart Contracts on EVM Based Blockchains like Ethereum☆85Updated 4 years ago
- Library for the verification of BGLS signatures on the EVM using Solidity.☆15Updated 6 years ago
- Execution environment for managing shard ether☆24Updated 4 years ago
- ☆25Updated last year
- Toolbox for auditing and patching vulnerabilities in smart contracts.☆38Updated last year
- ShareLock: mixing for cryptocurrencies from multiparty ECDSA☆50Updated last year
- Zero-knowledge proof verification contract in Solidity! #zkpontheblockchain☆53Updated 5 years ago
- 플라즈마 백서 한글번역본(Plasma Whitepaper Korean version)☆34Updated 6 years ago
- HoneyBadgerBFT, the first practical asynchronous BFT protocol without timing assuption☆30Updated 5 years ago
- ☆17Updated 6 years ago
- Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.☆21Updated last month
- Ostracon, a consensus algorithm, is forked from Tendermint Core. We have added VRF to Tendermint BFT. It adds randomness to PoS Validator…☆70Updated 3 months ago
- Go implementation of the Metadium project.☆17Updated 3 months ago
- Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum☆36Updated 5 years ago
- ☆15Updated 3 years ago
- ☆38Updated 3 years ago
- Smart contract - Zerocash-like approach for privacy on Ethereum☆21Updated 5 years ago
- A demo application built on the Tendermint ABCI. Tech owner: Peter Bourgon.☆35Updated 5 years ago
- Private Identity Claim System with Zero-Knowledge for DarkForest.eth☆10Updated 2 years ago