Plasma Winter - an account model Plasma with with zkSNARK proved state transitions. Started on ETH Singapore
☆30Dec 21, 2018Updated 7 years ago
Alternatives and similar repositories for plasma_winter
Users that are interested in plasma_winter are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A 64bit-TinyRAM simulator in Go☆13Oct 18, 2018Updated 7 years ago
- Zcash "Sapling" cryptography gadgets along with additions. Uses our Ethereum compatible bellman under the hood☆13May 25, 2020Updated 6 years ago
- This repository contains examples of WRC20 tokens written in different languages.☆13Jun 1, 2019Updated 7 years ago
- 🖥🗼watchtower that monitors for invalid transactions on plasma chains☆13Feb 21, 2019Updated 7 years ago
- Library for the verification of BGLS signatures on the EVM using Solidity.☆15Mar 14, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Batch verification proposal for the zkSNARK verification with the same(!) circuit☆23Jun 24, 2019Updated 7 years ago
- PoC of SNARK-driven Plasma with up to 500 tx/sec☆68Feb 18, 2019Updated 7 years ago
- Communal zk-SNARK MPC for Public Parameters☆19Nov 4, 2023Updated 2 years ago
- Sonic implementation in Rust☆17Jun 4, 2019Updated 7 years ago
- Implementation of various primitives for bellman using CUDA (WIP)☆28Jul 20, 2019Updated 6 years ago
- More Viable Plasma (MoreVP) contract with Limbo Exits☆26Jan 21, 2019Updated 7 years ago
- Bellman zkSNARK library for community with Ethereum's BN256 support☆161Aug 15, 2024Updated last year
- ZCash like private DAI transactions on ethereum using ZkSnarks. MakerDAO API prize winner.☆51May 22, 2019Updated 7 years ago
- Traits and utilities for working with finite fields☆18Aug 15, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- History compaction zkSNARK circuit for Plasma Cash and Cashflow history compaction☆15Mar 20, 2019Updated 7 years ago
- 🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs☆96Sep 10, 2018Updated 7 years ago
- An open-souce CLI which can be used to clone, compile and upload shadow contracts to the decentralized Shadow Contract Registry.☆17Mar 10, 2025Updated last year
- Set of JavaScript based tools and Ethereum Solidity contracts for BulletProof based range proofs and confidential transactions☆29Feb 17, 2019Updated 7 years ago
- EIP1962 implementation effort☆69Jul 2, 2024Updated 2 years ago
- ☆19Mar 28, 2017Updated 9 years ago
- All In One stateful Plasma-Cash client, browser compatible☆43Dec 9, 2022Updated 3 years ago
- Formalization of Tendermint proposer election properties☆14Jan 13, 2019Updated 7 years ago
- An implementation of ZEXE on Ethereum☆36Apr 11, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A one-click deploy Plasma chain☆33Jun 6, 2019Updated 7 years ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- A golang demo for zk-SNARK aggregation☆41Jun 23, 2019Updated 7 years ago
- The Matasano Crypto Challenges in Rust http://cryptopals.com/☆11Nov 5, 2015Updated 10 years ago
- zDai.io - confidential Dai transactions on Burner wallet☆29Mar 2, 2019Updated 7 years ago
- The ultimate environment for Solidity development. A fully integrated project with all the tools you could need right at your disposal. …☆13Jan 4, 2023Updated 3 years ago
- Communal zk-SNARK MPC for Public Parameters☆144Jun 1, 2021Updated 5 years ago
- FVyper: A collection of useful Vyper contracts developed with formal methods☆57Apr 19, 2021Updated 5 years ago
- 🎄🖋 A Rust implementation of Merkle signing☆15Jul 10, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- PoC of Revm execution in a Nitro Enclave☆29Sep 6, 2023Updated 2 years ago
- A simple libp2p DHT crawler☆16Jan 6, 2022Updated 4 years ago
- A Mastermind game using zk-snarks☆170Jul 24, 2022Updated 3 years ago
- An Introduction to CBC Casper Consensus Protocols☆137Feb 26, 2019Updated 7 years ago
- A client to bridge two EVM blockchain networks☆12Feb 16, 2018Updated 8 years ago
- Secure Dollar Wallet☆34Apr 30, 2019Updated 7 years ago
- 🐹☆18May 5, 2023Updated 3 years ago