ZcashFoundation / GrantProposals-2017Q4
Submission site for Zcash Foundation grant proposals
☆25Updated 7 years ago
Alternatives and similar repositories for GrantProposals-2017Q4:
Users that are interested in GrantProposals-2017Q4 are comparing it to the libraries listed below
- Submission site for 2018Q2 Zcash Foundation grant proposals.☆26Updated 7 years ago
- Sample payment channel using whisper☆36Updated 9 years ago
- Articles and Papers from Consensus Research☆30Updated 9 years ago
- Dr. Y's Ethereum Contract Analyzer☆41Updated 3 years ago
- (Summed) Merklized Binary Radix Tree library☆17Updated 8 years ago
- Knowledge Revolution☆27Updated 8 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- ☆24Updated 8 years ago
- Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification☆44Updated 4 years ago
- ☆26Updated 7 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- LaTeX of the MimbleWimble paper☆30Updated 3 years ago
- Formal specification and reference implementation of Casper☆15Updated 9 years ago
- Cross chain atomic trades protocol and api for trades between Stellar and Ethereum☆36Updated 7 years ago
- ☆70Updated 10 years ago
- Trade bitcoins for tokens via btc-relay☆27Updated 8 years ago
- A work-in-progress for Zcash Bitcoin Cross-Chain Atomic Transactions☆61Updated 7 years ago
- Technical paper on the Borromean ring signature construction☆47Updated 8 years ago
- Research and implementation for non-interactive blockchain proofs of proofs of work☆50Updated 2 years ago
- ☆10Updated 7 years ago
- An example piece of code to publish to the 21 marketplace. Allows users to pay you bitcoin to run a traceroute.☆16Updated 8 years ago
- Ethereum-Zcash Integration effort☆67Updated 6 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Updated 2 years ago
- A collection of papers about new models and applications of mobile process calculi☆12Updated 5 years ago
- Something to play with while we wait☆20Updated 5 years ago
- A marketplace for trustless off chain computation.☆55Updated 6 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Updated 8 years ago
- ☆59Updated 7 years ago
- 🔏 Simple Keystore Generator☆12Updated 6 years ago
- Original position paper and white paper for Tezos☆38Updated 6 years ago