What about learning some new code.
06 Feb 2024, 08:43
🙋 What about learning some new code?
We are thrilled to share a full guide about Coqueligot by our very own Suzanne Soy: take some time and read her latest blog post “Formally Proven Smart Contract Tutorial” 👩💻💯
Through this tutorial, you will be able to:
☑️ write a very simple auction smart contract in Coqueligot
☑️write a formal specification for some of the behavior of that contract
It also explains the proof techniques used to ensure that the contract meets the specification for any possible sequence of on-chain calls to that contract.
Delve into this new coding material and reach out for any question 🤙
👉
#smartcontract #ligo
If you want to push it on X/Twitter
👉
Same news in other sources
7
06 Feb 2024, 09:34
🎉 TBRC is ready to launch. Don't forget to participate in this novel social experiment!
TBRC is the only inscription project that grants and supported! It propose a new innovative tokenomic and new solution for building decentralized communities.
With $TBRC Inscriptions remaining a free mint, its team has innovated by introducing the gaming mechanism of social graph and staking. This allows different types of users to receive different rewards depending on how they contribute to the mint community:
🔨 Inscription miners: Mine inscriptions by interacting with contracts;
💰 Liquidity miners: earn rewards for their inscriptions by providing TBRC / TON liquidity;
💬 Social Miners: earn Inscriptions by inviting other users.
We support the TBRC team because of this innovative gaming mechanism, which is a very interesting social experiment.
Meanwhile, 50% of TBRC team's whitelist revenue is gifted to TonUP, and we will provide $UP liquidity for this token and gift it to the TonUP DAO. All tokens gifted to the TonUP DAO will become common assets for all UP Holder and will not be sold on the market.
--------
UP Token: STON.fi / DeDust / Bitget / Tonviewer / CMC
Announcement: @TonUP_io
Chats: English | Other Languages
Channels: Русский язык / 中文 / Türkçe / Español / Indonesia / Tiếng Việt / 日本語
More: Blog / Twitter / Homepage / Community
TBRC is ready to launch. Don't forget to participate in this novel social experiment.
🎉 TBRC is ready to launch. Don't forget to participate in this novel social experiment!
TBRC is the only inscription project that grants and supported! It propose a new innovative tokenomic and new solution for building decentralized communities.
With $TBRC Inscriptions remaining a free mint, its team has innovated by introducing the gaming mechanism of social graph and staking. This allows different types of users to receive different rewards depending on how they contribute to the mint community:
🔨 Inscription miners: Mine inscriptions by interacting with contracts;
💰 Liquidity miners: earn rewards for their inscriptions by providing TBRC / TON liquidity;
💬 Social Miners: earn Inscriptions by inviting other users.
We support the TBRC team because of this innovative gaming mechanism, which is a very interesting social experiment.
Meanwhile, 50% of TBRC team's whitelist revenue is gifted to TonUP, and we will provide $UP liquidity for this token and gift it to the TonUP DAO. All tokens gifted to the TonUP DAO will become common assets for all UP Holder and will not be sold on the market.
--------
UP Token: STON.fi / DeDust / Bitget / Tonviewer / CMC
Announcement: @TonUP_io
Chats: English | Other Languages
Channels: Русский язык / 中文 / Türkçe / Español / Indonesia / Tiếng Việt / 日本語
More: Blog / Twitter / Homepage / Community
06 Feb 2024, 09:21
🦾 Rewind with us the first month of this year, a harbinger of the many adventures and achievements waiting for us in 2024!
Let's take a retrospective look at January’24 in our latest Month in Review article!
Rewind with us the first month of this year, a harbinger of the many adventures and achievements waiting for us in 2024.
🦾 Rewind with us the first month of this year, a harbinger of the many adventures and achievements waiting for us in 2024!
Let's take a retrospective look at January’24 in our latest Month in Review article!
https://medium.com/bware-labs/bware-labs-month-in-review-january-7d6ab379cce9
06 Feb 2024, 09:21
现在开始！！！ 📣📣📣
赶快！ 点击此处加入 X Space AMA：https://twitter.com/i/spaces/1BdGYrXXMPBJX
点击此处加入 X Space AMA:.
现在开始！！！ 📣📣📣
赶快！ 点击此处加入 X Space AMA：https://twitter.com/i/spaces/1BdGYrXXMPBJX
06 Feb 2024, 09:19
IT STARTS NOW!!!! 📣📣📣
Hurry up! Click HERE to join the X Space AMA:
IT STARTS NOW. Hurry up. Click HERE to join the X Space AMA:.
IT STARTS NOW!!!! 📣📣📣
Hurry up! Click HERE to join the X Space AMA: https://twitter.com/i/spaces/1BdGYrXXMPBJX
06 Feb 2024, 09:11
Big news! Aurus partners with Polytrade to bring Gold Silver & Platinum to the diverse ecosystem of RWAs. A major milestone in making precious metals accessible via blockchain technology. 🌎✨
👉 Discover more about this groundbreaking partnership
Big news. Aurus partners with Polytrade to bring Gold Silver & Platinum to the diverse ecosystem of RWAs.
Big news! Aurus partners with Polytrade to bring Gold Silver & Platinum to the diverse ecosystem of RWAs. A major milestone in making precious metals accessible via blockchain technology. 🌎✨
👉 Discover more about this groundbreaking partnership
06 Feb 2024, 08:57
SIP-0074 and SIP-0075 have both successfully cleared the voting stage and are now queued for implementation!
➡️ SIP-0074 focuses on upgrading Electron Smart Contracts.
➡️ SIP-0075 aims to reduce the Zero Origination Fee.
Keep an eye out for further details on their implementation!
SIP-0074 and SIP-0075 have both successfully cleared the voting stage and are now queued for implementation.
SIP-0074 and SIP-0075 have both successfully cleared the voting stage and are now queued for implementation!
➡️ SIP-0074 focuses on upgrading Electron Smart Contracts.
➡️ SIP-0075 aims to reduce the Zero Origination Fee.
Keep an eye out for further details on their implementation!
06 Feb 2024, 08:49
✨ GuildFi Event Schedule For This Week
We have a new game night event this week!
Get ready to join the events by getting the specific role at 🤖#get-event-role channel
🎉 Then get a chance to win lots of prizes from GuildFi
See you!
GuildFi Event Schedule For This Week. We have a new game night event this week.
✨ GuildFi Event Schedule For This Week
We have a new game night event this week!
Get ready to join the events by getting the specific role at 🤖#get-event-role channel
🎉 Then get a chance to win lots of prizes from GuildFi
See you!