Search Results for "linux basic programming"

Solidity is a statically-typed curly-braces programming language designed for developing smart contracts that run on Ethereum. Solidity 0.8.4 adds custom structured errors, allows more flexible configuration of the SMTChecker and fixes a bug in the Solidity ABI decoder v2. Read more about the bug here. With v0.8.4, errors can be defined inside and outside of contracts (including interfaces and libraries). This provides a convenient and gas-efficient way to explain to users why an operation...

Plutus is the smart contract development framework for the Cardano blockchain, created using Haskell. It provides the core infrastructure for writing, testing, and deploying secure, deterministic smart contracts on the Cardano platform. Plutus includes a custom functional language (Plutus Core), a higher-level embedded DSL (Plutus Tx) for writing contracts in Haskell, and an off-chain infrastructure for managing interactions. It ensures strong correctness guarantees through formal...

Decentralized human identity without sybils or bots. Built with Kleros and the Ethereum community. No servers or databases are used. Control your identity with any Ethereum wallet. Contribute to the success of UBI and Proof of Humanity by leveraging ETH. Keep ETH or DAI in our smart contract vaults and help burn UBI tokens using yield. Half the yield is used to buy UBI. UBI is then burned, reducing its supply. No biometrics or real names are required. Just a quick video that proves your...