PinnedOwleksiyinCoinmonksSMTChecker: (almost) practical superpowerWhat is SMTChecker and how to make it usefulAug 31, 20212Aug 31, 20212
OwleksiyinCoinmonksFull Knowledge User Proofs: working with storage without paying for gasFull Knowledge User Proof (FKUP) brings down the gas usage of borrow() from ~600k to 285k with 100 assetsSep 23, 2021Sep 23, 2021