language:
Find link is a tool written by Edward Betts.searching for Smart contract 35 found (275 total)
alternate case: smart contract
Ivan Linn
(1,427 words)
[view diff]
exact match in snippet
view article
find links to article
of the Assassin's Creed Symphony World Tour. Linn is the founder of smart contract music platform Wavv. Linn is a member of the National Arts and SciencesCrypto-anarchism (1,419 words) [view diff] exact match in snippet view article find links to article
integrated cryptocurrency, a consensual government limited by a social smart contract, an archipelago of crowdfunded physical territories, a virtual capitalSimon Thompson (professor) (258 words) [view diff] exact match in snippet view article
the Cardano blockchain platform. There, he developed a specialised smart contract language, Marlowe, designed for non-programmers working in the financialPhilip Wadler (1,036 words) [view diff] exact match in snippet view article find links to article
developing Cardano. He has contributed to work on Plutus, a Turing-complete smart contract language for Cardano written in Haskell; the UTXO ledger system, nativeKirby Smart (3,823 words) [view diff] exact match in snippet view article find links to article
March 10, 2023. Riley, Connor (August 4, 2022). "Full details of Kirby Smart contract released by Georgia football program". DawgNation. Archived from theSt. Regis Hotels & Resorts (1,271 words) [view diff] exact match in snippet view article find links to article
world with over 10,000 rooms. In January 2018, SolidBlock created a smart contract and digitized platform for the tokenization of The St. Regis Aspen,Injective (platform) (394 words) [view diff] exact match in snippet view article
developers with plug-and-play modules for launching a wide variety of smart contract-enabled applications, including decentralized spot and derivatives exchangesSpankChain (336 words) [view diff] case mismatch in snippet view article find links to article
(2021-02-17). "A Mechanism to Detect and Prevent Ethereum Blockchain Smart Contract Reentrancy Attacks". Frontiers in Computer Science. 3. doi:10.3389/fcompFishtail Air (909 words) [view diff] case mismatch in snippet view article find links to article
Retrieved 1 June 2018. "Fishtail Air signs first Airbus Helicopters' HCare Smart Contract in Nepal". Aviation Nepal. 3 July 2017. Retrieved 30 September 2017Deed (3,397 words) [view diff] exact match in snippet view article find links to article
Luciano Vieira; Nishijima, Marislei (2023-08-01). "Blockchain and smart contract architecture for notaries services under civil law: a Brazilian experience"Open vote network (951 words) [view diff] exact match in snippet view article find links to article
by McCorry, Shahandashti, and Hao at Financial Cryptography'17 as a smart contract over Ethereum's blockchain. The source code is publicly available. ThisBarter (4,388 words) [view diff] exact match in snippet view article find links to article
be used by crowds on a massive scale. BarterMachine is an Ethereum smart contract based system that allows direct exchange of multiple types and quantitiesList of Lisp-family programming languages (562 words) [view diff] no match in snippet view article find links to article
LISP-like language for Chia blockchain to encumber and release funds with smart-contract abilities ACL2 1990 Robert Boyer, J Moore, Matt Kaufmann A ComputationalMichael Haverland (1,583 words) [view diff] no match in snippet view article find links to article
Residence,” Architectural Record, July 2005, p. 226. Nayar, Jean, “Street Smart,” Contract, July 2005, pp. 64–67. Rogers, Teri Karush, “A Wall to Enlighten, NotBlockstream (1,104 words) [view diff] exact match in snippet view article find links to article
Core developers. Blockstream engineers developed a simplified Bitcoin smart contract development language called Miniscript, which currently has implementationsOCaml (4,106 words) [view diff] exact match in snippet view article find links to article
tool supporting many programming languages. Tezos, a self-amending smart contract platform using XTZ as a native currency. Unison, a file synchronizationRandy Farmer (780 words) [view diff] exact match in snippet view article find links to article
"I also want to credit @frandallfarmer : together we designed the smart contract state machine to realize Phil's vision for Amix!". Twitter. "SocialList of blockchains (485 words) [view diff] exact match in snippet view article find links to article
No No Immediate Account-balance Blockchain is known as XRP Ledger. Smart contract capabilities are being added. , Stacks ? STX Vertcoin ? VTC Hedera HashgraphList of free and open-source software packages (4,168 words) [view diff] exact match in snippet view article find links to article
decentralised digital currency Ethereum – Blockchain platform with smart contract functionality CiviCRM – Constituent Relationship Management softwareGarbage Pail Kids (3,323 words) [view diff] exact match in snippet view article find links to article
partner with the WAX blockchain. The WAX blockchain uses the EOS.IO smart contract platform. On May 12, 2020, the Garbage Pail Kids card packs launchedLiquid democracy (3,783 words) [view diff] case mismatch in snippet view article find links to article
24989/ocg.338.36. Liquid Democracy by Dominic Schiener ' 'The Social Smart Contract' ' by Democracy Earth Foundation Liquid governance on Kune ni povosCode property graph (1,411 words) [view diff] case mismatch in snippet view article find links to article
Rodler, Michael; Karame, Ghassan; Davi, Lucas. "Practical Mitigation of Smart Contract Bugs | TeraFlow". www.teraflow-h2020.eu. Wi, Seongil; Woo, Sijae; WhangElissa Shevinsky (932 words) [view diff] case mismatch in snippet view article find links to article
"Recap: LinkedIn". LinkedIn. Retrieved March 26, 2018. "Advancing Smart Contract Security". TokenDaily. Retrieved July 25, 2018. "Application SecurityGate.io (2,153 words) [view diff] exact match in snippet view article find links to article
asset security of Gate.io has been further enhance by the third-party smart contract audits and produced reports to reinforce vulnerability detection andLegality of cryptocurrency by country or territory (5,914 words) [view diff] exact match in snippet view article find links to article
through licensed operators. The bill also provides a definition of a smart contract.[citation needed] In January 2022, the Central Bank of Russia proposedTokenization (data security) (4,447 words) [view diff] exact match in snippet view article
Tabatabai, Arman (2019-03-25). "Social investment platform eToro acquires smart contract startup Firmo". TechCrunch. Retrieved 2022-11-23. "eToroX Names OmriNotForgotten Digital Preservation Library (796 words) [view diff] exact match in snippet view article find links to article
innovative ways. The Not Forgotten Time Capsules are recorded on a smart contract on the Ethereum Blockchain Smart with the objective of creating a discoverableSarafu-Credit (1,050 words) [view diff] exact match in snippet view article find links to article
or (Sarafu-Coin) – initial coin offering (ICO) block chain enabled smart contract. Key Asset Development and Construction Training on business efficiencyAggelos Kiayias (2,029 words) [view diff] case mismatch in snippet view article find links to article
Kiayias' Google Scholar page Video Interview with Kiayias regarding Smart Contract Research Kiayias' IACR publications and committee service page ComputingMartin Vechev (1,059 words) [view diff] exact match in snippet view article find links to article
acquired by the security unicorn Snyk in 2020. and ChainSecurity, smart contract security audits based on formal mathematical guarantees, acquired byNancy Baker Cahill (2,745 words) [view diff] exact match in snippet view article find links to article
Paul wrote, "By minting them as NFTs, [Baker Cahill] positions the smart contract among other kinds of contracts—social, judicial, financial—and highlightsStephane De Baets (1,381 words) [view diff] exact match in snippet view article find links to article
issue the digital security under the name Aspen Coin using Ethereum smart contract. Aspen Digital Token later migrated to the Securitize platform and wasGiveth (638 words) [view diff] exact match in snippet view article find links to article
active at Giveth, and Jordi Baylina is still in part responsible for smart contract writing at Giveth. Green earned a master's degree in Digital CurrenciesConstant function market maker (2,870 words) [view diff] case mismatch in snippet view article find links to article
Fabian (Apr 15, 2021). "Decentralized Finance: On Blockchain- and Smart Contract-Based Financial Markets". Federal Reserve Bank of St. Louis Review.List of programming language researchers (5,606 words) [view diff] exact match in snippet view article find links to article
Chan Guan (October 2019). Stephen N. Freund; Eran Yahav (eds.). "Safer smart contract programming with Scilla". Proceedings of the ACM on Programming Languages