More / Etherum Reddit - 1 year ago
What are some examples of smart contracts that pose challenges in formal verification? I'm interested in exploring code that poses issues for formal verification, as I would like to tackle the problem through symbolic generation of code. s...
by COINS NEWS - 1 year ago
submitted by /u/fap_fap_fap_fapper [link] [comments]
Bitcoin News / Google News Bitcoin - 1 year ago
OP_CAT Proposal to Bring Smart Contracts to Bitcoin Finally Gets a 'BIP Number'& & CoinDesk
More / Bitcoin Reddit - 1 year ago
Hey everyone, kinda new here and have a question that's been bugging me about Bitcoin. I've heard a lot about smart contracts, but do these exist for Bitcoin too? I'm still getting the hang of how different cryptocurrencies operate and th...
More / Etherum Reddit - 1 year ago
submitted by /u/mudgen [link] [comments]
Bitcoin News / Google News Bitcoin - 1 year ago
Inside BeL2's mission to elevate bitcoin with smart contracts& & TheStreet
by COINS NEWS - 1 year ago
submitted by /u/teddyConnection [link] [comments]
More / Etherum Reddit - 1 year ago
submitted by /u/haochizzle [link] [comments]
by COINS NEWS - 1 year ago
submitted by /u/nsjames1 [link] [comments]
Cryptocoins News / CoinJournal - 1 year ago
San Francisco, USA / California, March 7th, 2024, Chainwire Firewall secures funding from North Island Ventures, Breyer Capital, and Hack VC to bulletproof smart contract networks. Firewall, a blockchain infrastructure startup, announced its $3.7M pr...
More / Etherum Reddit - 1 year ago
Hi everyone, I wanted to know your opinion about devOps for web3 and smart contracts and if anyone follows some rules or system. I recently interviewed Josh Quintal from the ex Truffle team and I'd like to know your thoughts. https://youtu.be/dQr...
More / Etherum Reddit - 1 year ago
submitted by /u/mudgen [link] [comments]
Bitcoin News / Google News Bitcoin - 1 year ago
Stellar Debuts Smart Contracts With Protocol 20 Update – Altcoins Bitcoin News& & Bitcoin.com News
Bitcoin News / Bitcoin.com - 1 year ago
Stellar has announced the introduction of smart contracts as part of its Protocol 20 update, passed by a validator vote on Feb. 20. The upgrade introduces Soroban, the new smart contracts system, to mainnet, and initiates a phased rollout for validat...
by COINS NEWS - 1 year ago
submitted by /u/flowers_at_dusk [link] [comments]
Cryptocoins News / Blockchain - 1 year ago
Stellar Development Foundation activates Protocol 20 and smart contracts on its network, enhancing scalability and efficiency, and marking a milestone in growth. (Read More)
by COINS NEWS - 1 year ago
submitted by /u/flying_bacon [link] [comments]
by COINS NEWS - 1 year ago
submitted by /u/UpvoteBeast [link] [comments]
More / Etherum Reddit - 1 year ago
I saw that contracts are written in varied languages like solidity, vyper, rust, motoko, cadence, etc. I understand most users don’t know how to inspect or read code but in the event you are sent a malicious smart contract, are there currently any bl...
Bitcoin News / Bitcoinist - 1 year ago
In an exciting turn of events, the XRP Ledger has taken a notable step forward by entering into a strategic partnership with EasyA in order to boost and improve the ledger’s adoption. XRP Ledger Partners With EasyA Crypto Eri, an XRP community...
More / Etherum Reddit - 1 year ago
submitted by /u/cloudFX_ [link] [comments]
More / Etherum Reddit - 1 year ago
I am new to the web3 world. I am curious about smart contracts.also how are they made in the first place. submitted by /u/Fancy_Baseball_404 [link] [comments]
More / Etherum Reddit - 1 year ago
I've been using this product called WhiteRabbitNeo for learning the cybersecurity aspects of smart contracts. Here's a conversation I'm having on learning about attack vectors on Solidity contracts. Question: Given a Solidity contract for...
by COINS NEWS - 1 year ago
submitted by /u/Blocks_and_Chains [link] [comments]
Bitcoin News / Bitcoin.com - 1 year ago
Thirdweb, a Web3 development framework provider, has announced that it has started mitigating a vulnerability that could potentially affect thousands of smart contracts across several networks. The vulnerability, uncovered in November, impacts variou...
