Skip to content

Instantly share code, notes, and snippets.

View yuradmt's full-sized avatar
🎯
Focusing

Yura Sherman yuradmt

🎯
Focusing
14 followers · 32 following
View GitHub Profile
@yuradmt
yuradmt / gist:e84d4e268129f18194161a4b8870280b
Created August 11, 2022 15:17
delegationToZeroAlwaysPossible - aave token v3/certora
rule delegationToZeroAlwaysPossible() {
env e;
require e.msg.value == 0;
require validDelegationState(e.msg.sender); // _balances[e.msg.sender].delegationState < 4
address v_delegateFrom = getVotingDelegate(e.msg.sender);
address p_delegateFrom = getPropositionDelegate(e.msg.sender);
mathint dvbFrom = getDelegatedVotingBalance(v_delegateFrom);
mathint pvbFrom = getDelegatedPropositionBalance(p_delegateFrom);
require dvbFrom >= balanceOf(e.msg.sender) / DELEGATED_POWER_DIVIDER();
@yuradmt
yuradmt / proof_collective_holders.md
Last active April 15, 2022 13:36

Script to download NFT holders

  1. Install Foundry

  2. Configure environment variable RPC to be your Alchemy/Infura endpoint.

  3. Run the following miniscript in the terminal

for i in {0..999}
do
@yuradmt
yuradmt / masterchef_farmers.csv
Created June 2, 2021 12:07 — forked from yoitsyoung/masterchef_farmers.csv
We can't make this file beautiful and searchable because it's too large.
address,counts
0x6977e753e022f65ebeb170d8267b2ea54a431523,7
0x549c0421c69be943a2a60e76b19b4a801682cbd3,7
0xee2826453a4fd5afeb7ceffeef3ffa2320081268,6
0x93f5af632ce523286e033f0510e9b3c9710f4489,6
0xc7bfd896cc6a8bf1d09486dd08f590691b20c2ff,6
0x83aba53382af0754e2599312f02dfc6774489f82,6
0x047b3e73043bbf7421b78893110fc30b7db6b126,6
0x87616fa850c87a78f307878f32d808dad8f4d401,6
0x316f99537b4bade5eea51073f1b7c38dfbf69a70,6
@yuradmt
yuradmt / Named Hashmasks
Last active March 8, 2021 18:04
Hashmasks - named NFTs
{"id":0,"name":"Bitcoin","owner":"0xc0F030eac8b588817f8dA16b9a2CDCcc6451B25c"}
{"id":1,"name":"Trump","owner":"0x874c44A007168b1f4B260Bc7017504D151b0aF7a"}
{"id":2,"name":"King","owner":"0x874c44A007168b1f4B260Bc7017504D151b0aF7a"}
{"id":3,"name":"Joe","owner":"0x874c44A007168b1f4B260Bc7017504D151b0aF7a"}
{"id":4,"name":"china","owner":"0x874c44A007168b1f4B260Bc7017504D151b0aF7a"}
{"id":5,"name":"usa","owner":"0x874c44A007168b1f4B260Bc7017504D151b0aF7a"}
{"id":6,"name":"love","owner":"0x874c44A007168b1f4B260Bc7017504D151b0aF7a"}
{"id":7,"name":"covid19","owner":"0x874c44A007168b1f4B260Bc7017504D151b0aF7a"}
{"id":8,"name":"Obama","owner":"0x874c44A007168b1f4B260Bc7017504D151b0aF7a"}
{"id":9,"name":"buterin","owner":"0x874c44A007168b1f4B260Bc7017504D151b0aF7a"}
@yuradmt
yuradmt / All ids
Last active January 30, 2021 23:41
Hashmasks
{"id":0,"name":"Bitcoin","owner":"0xc0F030eac8b588817f8dA16b9a2CDCcc6451B25c"}
{"id":1,"name":"Trump","owner":"0x874c44A007168b1f4B260Bc7017504D151b0aF7a"}
{"id":2,"name":"King","owner":"0x874c44A007168b1f4B260Bc7017504D151b0aF7a"}
{"id":3,"name":"Joe","owner":"0x874c44A007168b1f4B260Bc7017504D151b0aF7a"}
{"id":4,"name":"china","owner":"0x874c44A007168b1f4B260Bc7017504D151b0aF7a"}
{"id":5,"name":"usa","owner":"0x874c44A007168b1f4B260Bc7017504D151b0aF7a"}
{"id":6,"name":"love","owner":"0x874c44A007168b1f4B260Bc7017504D151b0aF7a"}
{"id":7,"name":"covid19","owner":"0x874c44A007168b1f4B260Bc7017504D151b0aF7a"}
{"id":8,"name":"Obama","owner":"0x874c44A007168b1f4B260Bc7017504D151b0aF7a"}
{"id":9,"name":"buterin","owner":"0x874c44A007168b1f4B260Bc7017504D151b0aF7a"}
@yuradmt
yuradmt / uniswap_dist.json
Created December 25, 2020 16:50
[
{
"address": "0xdd27fBfD9e2eBc345140542BAB7bd4235172C3B3",
"uni": "2103516.590248"
},
{
"address": "0x274d9E726844AB52E351e8F1272e7fc3f58B7E5F",
"uni": "1199494.611096"
},
{
@yuradmt
yuradmt / iterm2-solarized.md
Created June 6, 2020 11:34 — forked from kevin-smets/iterm2-solarized.md
iTerm2 + Oh My Zsh + Solarized color scheme + Source Code Pro Powerline + Font Awesome + [Powerlevel10k] - (macOS)

Default

Default

Powerlevel10k

Powerlevel10k

@yuradmt
yuradmt / loader.js
Created November 14, 2019 18:13
const getManyUsers = async (ids) => {
const USERS = {
1: { name: "foo" },
2: { name: "bar" }
};
return ids.map(id => USERS[id] || null);
}
function createLoader(getMany) {
@yuradmt
yuradmt / eslint_prettier_airbnb.md
Last active October 25, 2019 15:02 — forked from bradtraversy/eslint_prettier_airbnb.md
ESLint, Prettier & Airbnb Setup

VSCode - ESLint, Prettier & Airbnb Setup

1. Install ESLint & Prettier extensions for VSCode

Optional - Set format on save and any global prettier options

2. Install Packages

npm i -D eslint prettier eslint-plugin-prettier eslint-config-prettier eslint-plugin-node eslint-config-node
@yuradmt
yuradmt / airbnb-style-react.md
Last active September 27, 2019 13:11
Using AirBnb style guide with React

  1. yarn add eslint prettier eslint-plugin-prettier eslint-config-prettier eslint-plugin-react eslint-plugin-react-hooks

  2. npx install-peerdeps --dev eslint-config-airbnb

  3. eslint --init

  4. In .eslintrc.json:

{