Find link

language:

Find link is a tool written by Edward Betts.

searching for Smart contract 35 found (275 total)

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 Sciences

Crypto-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 capital

Simon 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 financial

Philip 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, native

Kirby 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 the

St. 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 exchanges

SpankChain (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/fcomp

Fishtail 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 2017

Deed (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. This

Barter (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 quantities

List 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 Computational

Michael 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, Not

Blockstream (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 implementations

OCaml (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 synchronization

Randy 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. "Social

List 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 Hashgraph

List 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 software

Garbage 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 launched

Liquid 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 povos

Code 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; Whang

Elissa 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 Security

Gate.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 and

Legality 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 proposed

Tokenization (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 Omri

NotForgotten 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 discoverable

Sarafu-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 efficiency

Aggelos 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 Computing

Martin 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 by

Nancy 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 highlights

Stephane 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 was

Giveth (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 Currencies

Constant 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