Pycoin

Pycoin will be deployed on platform DexOs which is being engineered as a real-time unforkable blockchain as well as blockchainfree DAG-based decentralized network XRB (Raiblocks/Nano). Since XRB is an existing running DAG-based crypto currency network, Pycoin secure smart contracts can be immediately deployed on a fork of XRB. Blockchain systems are distributed implementations of a chain of blocks. Each node can issue a cryptographically signed transaction to transfer digital assets to another node or can create a new block of transactions, and append this block to its current view of the chain. Due to the distributed nature of this task, multiple nodes may append distinct blocks at the same index of the chain before learning about the presence of other blocks, hence leading to a forked chain or a tree. For nodes to eventually agree on a unique state of the system, nodes apply a common strategy that selects a unique branch of blocks in this tree. That’s how they avoid forking. There are so many mechanisms to make the blockchain unforkable like the byzantine agreement protocol and many other schemes. The Unforkable Realtime Blockchain DexOs showcases unparalleled advantages over the blockchains currently in use in cryptocurrency and business settings. DexOs is based on Effortless One-by-One Byzantine Agreement There are several techniques to manage blockchain-based ledgers have been proposed:

1. Proof-of-Work (PoW)
2. Proof-of-Stake (PoS)
3. Practical Byzantine fault-tolerance or some combination.
   A smart contract is “a computerized transaction protocol that executes the terms of a contract”. A block chain-based smart contract is visible to all users of said block chain. However, this leads to a situation where bugs, including security holes, are visible to all yet may not be quickly fixed. Such an attack, difficult to fix quickly, was successfully executed on The DAO in June 2016, draining US$50 million in Ether while developers at tempted to come to a solution that would gain consensus. The DAO program had a time delay in place before the hacker could remove the funds, a hard fork of the Ethereum software was done to claw back the funds from the attacker before the time limit expired. Issues in Ethereum smart contracts in particular include ambiguities and easy-but-insecure constructs in its contract language Solidity, compiler bugs, Ethereum Virtual Machine bugs, attacks on the block chain network, the immutability of bugs and that there is no central source documenting known vulnerabilities, attacks and problematic constructs.
   Since in Ethereum, the EVM (Ethereum Virtual Machine) is a Turing complete language, so it’s not feasible to static analysis, i.e. we cannot calculate the upper bound on the calculations program will make before its execution, so each program must be provided with gas (which is paid for in Ethereum unit of account, ether, to the miner of block containing the transaction) to place the counter and avoid infinite loops. As the program runs out of the gas, the transaction is nullified but the gas is still paid to the miner to ensure they are compensated for the computational efforts they made.
   With Turing incomplete programming language like Simplicity, static analysis allows the protocol to place limits on the amount of computation a transaction can have, so that nodes running the protocol are not overly burdened. Furthermore, the static analysis can provide program creators with a general-purpose tool for verifying that the programs they build will always fit within these limits. Additionally, it is easy for the other participants in a contract to check the bounds on smart contract's programs themselves. They may be buggy, just like any other code. Debugging and testing them is quite involved due to the lack of tools. If Smart Contracts take off in popularity, expect new services and technology focused on doing all types of security checks before they are deployed. Pycoin uses simplicity which has formal semantics. And thus Formal semantics that work with proof-assistant software provide the opportunity for contract developers to reason about their programs to rule out logical errors and to help avoid scenarios like the DAO and Parity's multi- signature program failure. Pycoin employs an interpolation of popular programming language Python as its source language codenamed PyLegal mapped to its source language Simplicity. Currently, however, ledgers can be inefficient to manage. For example, Bitcoin’s proof-of- work(PoW) approach requires a vast amount of computation, is wasteful and scales poorly. In addition, it de facto concentrates power in very few hands because of miners’ requirements. DexOs is inspired by Algorand. The design goal of Algorand was building a new method to implement a public ledger that offers the convenience and efficiency of a centralized system run by a trusted and inviolable authority, without the inefficiencies and weaknesses of current decentralized implementations. For DexOs we use algorithmic randomness to select, based on the ledger constructed so far, a set of verifiers who are in charge of constructing the next block of valid transactions. Naturally, we ensure that such selections are provably immune from manipulations and unpredictable until the last minute, but also that they ultimately are universally clear. Delos’s approach is quite democratic, in the sense that neither in principle nor de facto it creates different classes of users (as “miners” and “ordinary users” in Bitcoin). In DexOs “all power resides with the set of all users”. One notable property of DexOs is that its transaction history may fork only with very small probability (e.g., one in a trillion, that is, or even 10^-18).every underlying unconventional mechanism of DexOs based on a single linear Blockchain makes sure there are no multiple blockchains and that's why forking is not possible in the absence of PoW(proof of work) miners. Here users verify each other’s' transactions and there are no special class of miners. DexOs once fully deployed with minimum 10,000 plus nodes will be capable of processing 2 million transactions per second (tps).
   These speeds are unparalleled, leaving the closest competitors far behind. In comparison, Visa’s network has a peak capacity of around 56,000 transactions per second and the Bitcoin network is limited to around seven transactions per second and Ethereum can process up to 20 transactions per second.
   Official links
   Website- http://www.pycoin.io/
   Whitepaper- http://www.pycoin.io/static/whitepaper.pdf
   Twitter- https://twitter.com/PycoinOfficial

My personal details
Bitcointalk account link- https://bitcointalk.org/index.php?action=profile;u=1349234
Username- cryplee
Eth adress- 0x0Dac4D0B46de7Ea2e9c0CD16B7D21540B18eF33A