George Gorzhiyev
@ygorz01
Followers
856
Following
2K
Media
300
Statuses
1K
Interested in smart contracts and @chainlink. Seeing how I can contribute. @CyfrinUpdraft alumni
Colorado Springs, CO, USA
Joined January 2025
@chain_linkd @Judge_Finance With CRE and the current yieldcoin architecture, @Judge_Finance is well positioned to address the problem of optimal yield across assets/tokens/stablecoins. Optimal yield across chains and protocols is solved and simple. Chains: we just use CCIP/@concero_io. Protocols: we just
0
2
5
The ultimate plumbing course for developers and security researchers affected by AI 👇👇👇
4
1
75
Thank you @chainlink for the opportunity to give a presentation on secure smart contract development at SmartCon 2025! Key takeaway from talks with other builders: noone has figured out how to efficiently optimize yield across stablecoins yet and some have even given up trying.
SmartCon 2025 is a wrap. A convergence of TradFi and DeFi like no other.
1
1
10
I've been going through the "successful" Certora results with a fine tooth comb. Did a test revert (as it should) because it correctly checked if the caller has access control ...or because it sent 1 wei with it to an (obviously) non-payable function. 😭🫠
@ygorz01 Not knowing if a green check is a false positive or not is a lot like not knowing if the failing result is because there's a legit bug or the rule wasn't properly written. The whole process with Certora is a fascinating navigation of your own understanding of the execution paths
1
0
2
What math would be good to learn for DeFi? I've never been great at math but just looking ahead, would like to work on it at some point to plug up that weakness. Any recommendations?
2
0
5
Smartcon alpha? @Judge_Finance
Yieldcoin is to be launched as part of the JUDGE suite of services
2
4
14
So my 'gut feeling' takeaway so far from @chainlink SmartCon is: GEORGE YOU BETTER LEARN CHAINLINK RUNTIME ENVIRONMENT RIGHT NOW
1
0
9
Looking forward to learning this
We’re excited to announce the launch of the Chainlink Runtime Environment (CRE)—the all-in-one orchestration layer powering the next massive leap in the adoption of onchain finance. https://t.co/LrLBiwG1K2 CRE is already being adopted by the largest financial institutions and
1
0
4
Is my setup messed up or does Google Meet just "work" this way
3
0
3
Yieldcoin is to be launched as part of the JUDGE suite of services
2
4
15
It's very cool to look at the @CertoraInc UI and see the hook being applied
@ygorz01 @contractlevel Indeed, LOG1-4 is based on how many indexed events + 1 (event sig) there are. CVL Docs could be a bit more explicit.
0
1
8
Going beyond the basic level rule in Certora and adding event checks and ghost variables tracking as @contractlevel has setup in YieldCoin. Learning subtleties such as "Paused(address)" event is actually a LOG1 EVM opcode as 'address' isn't indexed.
1
0
4
Always amazed at the continued service @CyfrinUpdraft provides. Looks like the cert study guide got updated and if you bought it before you get the upgrade for free.
2
3
26
This week is going to be a lot of: - @CertoraInc tests (now that I sort of know what I'm doing) - watching more lectures on their YT channel between long tests - some @golang (I'll probably just watch some crash course on YT) Got to keep improving.
0
0
3
Excited to be speaking about invariants, formal verification and optimal stablecoin yield at #SmartCon
3
2
22
It's all coming together now. I think I have enough Certora understanding that I'm able to actually write rules more consistently.
After an intense 3 days of getting more familiar with @CertoraInc, it looks like I was able to write a first successful rule: having the YieldCoin Rebalancer pausing successful. Feeling way more comfortable now and the UI makes a lot of sense now. Progress...
3
0
10