Exact and Linear-Time Gas-Cost Analysis

research.facebook.comsite

from

Move

added

2026-10-10

likes

0

similar

1. ▲

   The Move Prover research.facebook.com

   site link ↗
   
2. ▲

   Comparing Move and Rust smart contract development medium.com

   site · @kklas topic programming link ↗
   site
3. ▲

   Math github.com

   Math utility functions. From Starcoin.

   site topic math link ↗
   site
4. ▲

   Algebraic Geometry agag-gathmann.math.rptu.de

   Andreas Gathmann (RPTU).

   site topic math link ↗
   site
5. ▲

   The Move Borrow Checker arxiv.org

   site link ↗
   
6. ▲

   hmgaudecker github.com

   site link ↗
   site