Co-Creator, Blockchain Hacker and Community builder. Building Open source Decentralized applications for a better future.
Simple enough for computing and music lessons, Powerful enough for professional musicians.
A Smartcontract Platform for Bitcoin Cash, Spedn is a high level smart contracts language for Bitcoin Cash. It is designed for explicity and safety: It is statically typed - detects many errors at compile time It is explicitly typed - no guessing what the expression is supposed to return It is purely-functional - free of side effects, the common source of bugs It has a familiar C-like syntax
Tokens in the Ethereum ecosystem can represent any fungible tradable good: coins, loyalty points, gold certificates, IOUs, in-game items, etc. Since all tokens implement some basic features in a standard way, this also means that your token will be instantly compatible with the Ethereum wallet and any other client or contract that uses the same standards.
Simple Smart Contract Implementation For Zen Protocol. Zen takes F* as the starting point for defining smart contracts. F*, developed by Microsoft Research, is a functional language aimed at formal verification. Zen uses F*'s powerful proof techniques both to create proofs of correctness, and to prove that contracts execute in a limited amount of time.
A simple way to host static html webpages on Ethereum and store contracts on swarm.
This repo comprises of implementation of various proof types using crypto algorithms. Proof of work is a protocol that has the main goal of deterring cyber-attacks such as a distributed denial-of-service attack (DDoS) which has the purpose of exhausting the resources of a computer system by sending multiple fake requests. Proof of stake will make the consensus mechanism completely virtual.