Contract Level
@contractlevel
Followers
392
Following
2K
Media
184
Statuses
390
implement it at the contract level
Joined December 2024
📌.
1. Take Cyfrin Updraft.2. Write smart contract.3. Ask Cyfrin to audit it. If @DevDacian gives you feedback like this, frame it, and put it on your wall. If you take Cyfrin Updraft, your chances 10x.
0
0
6
Thank you @chainlink for awarding YieldCoin the grand prize in the Chromion hackathon! We all know the entire world is going to run on Chainlink, so this is a great honor, and (was) a personal life goal. Thank you @CyfrinUpdraft for the resources to learn invariant testing,
27
19
157
Got excited because I thought this hint meant multiple contracts could be linked to the same storage slot, but it was just suggesting one or the other. We need the storage slot to be constrained, but dynamic, and can get round it with require statements.
0
0
2
just learned you can call functions on an address in certora by passing env
0
0
3
Hmmm. .
We’re excited to collaborate with @GLEIF for the vLEI Hackathon alongside Swift (@swiftcommunity) to accelerate the global adoption of compliant digital assets onchain. With hundreds of trillions in value poised to move onchain, digital assets are
0
0
4
some of these rules could be combined into one, which may be cleaner, HOWEVER, keeping distinct rules for granular assertions means if something is wrong with a future strategy, the problem can be seen from a glance, instead of debugging the calltrace.
0
0
7
We can use a single certora spec to verify shared behavior between yieldcoin strategy adapters. Even though each adapter has strategy-specific-logic, they should still move the correct token and amount, and emit the correct events and params. Useful for future strategies.
0
0
2
The YieldCoin Rebalancer contract now handles all Chainlink Functions and Automation logic. Strategy interactions now happen in external adapters. CCIP, deposits and withdraws happen in the Peer network between these. Better maintainability.
0
3
16
YieldCoin: Certain decisions were made quick in hackathon. Peer contracts on each chain do both ccip communication and interacting with yield strategies. To improve maintainability (adding new strategies), separate adapters per strategy are being developed.
1
0
6
Chromion hackathon may be over but YieldCoin development continues, albeit at a less intense pace. Top priorities are further testing of the current implementation, optimizing the architecture, and then implementing fees.
1
0
6
Read the notes taken whilst developing YieldCoin for the Chainlink Chromion hackathon here:
0
1
5
YieldCoin smart contracts handle CCIP messages differently depending on tx type. Certora allows us to explore these paths and verify their intended behavior. For example, we may expect certain events or value transfers to occur in some cases, and further CCIP txs in others.
0
2
15
Everything used to build YieldCoin for @Chainlink Chromion hackathon was learned for FREE from @CyfrinUpdraft @PatrickAlphaC .- Chainlink integrations.- Fuzz/invariant tests.- Formal Verification.- Security first mindset.Thanks Cyfrin, for the resources to make this possible!.
@pappas9999 #YieldCoin automates stablecoin yield optimization across chains and protocols, and features extensive testing. Submission: Github: Article discussing debugging and fixing broken invariant:
1
2
25
One of Chainlink's most exciting services so far. Mitigation of identity oracle attacks should be the highest priority for securely building compliant smart contracts with Chainlink.
With reusable identities and automated compliance, onchain transactions become faster and cheaper than traditional systems. “Digital assets will really succeed, and get into the hundreds of trillions, when having a digital asset version of something, like a tokenized equity, or
0
0
10
RT @DevDacian: This is a really cool project with a serious test suite including invariants & formal verification!. Deposit stables to get….
0
2
0
RT @contractlevel: @pappas9999 #YieldCoin automates stablecoin yield optimization across chains and protocols, and features extensive testi….
0
2
0
Chromion hackathon: wasnt gonna do anymore but noticed redundant checks for a scenario that never wouldve happened. This function handles CcipTxType.DepositToParent and included checks for CcipTxType.DepositCallbackParent. No security or functionality issues. Just redundant.
0
0
7
Chromion hackathon:
Chromion hackathon: turns out a sufficiently defined rule for chainlink automation check functions is also vacuous when using reverts instead of returning false. so the final pr planned for today is kinda meaningless.
0
0
0