Analysis and growth is a big a part of what we do, discovering novel methods to advance the expertise that underpins the Fantom ecosystem.
As we speak, we’re releasing a brand new technical paper on the optimization of sensible contracts. Solidity is essentially the most widely-used programming language for sensible contracts however depends on sequential execution and validation of features. That’s, you need to anticipate the primary operate of a sensible contract to finish earlier than the second can execute to keep away from double-spending.
Quan Nguyen, Andre Cronje and Michael Kong have proposed a brand new smart-contract programming language, Object Validity (OV), that permits for concurrent executions inside sensible contracts. This method will increase the throughput and effectivity of sensible contracts in distributed ledger networks by pre-checking the invariants (properties that don’t change no matter an object’s state) of various objects and making certain the features don’t violate them throughout execution. If there aren’t any violations, then the sensible contract could be executed concurrently with out ready for the community to validate every stage.
This method additionally dramatically reduces safety points associated to reentrancy. These happen when contracts act on a number of preliminary requests earlier than the implications of every are recorded within the ledger.
For instance, if my account steadiness is $50 and I submit two withdrawal requests for $50 every, the contract may execute each withdrawals if the obtainable steadiness hasn’t up to date to $zero by the point the second withdrawal makes an attempt to run.
Our analysis will type the premise for additional growth work on optimizing sensible contract execution, which we count on to use to Fantom expertise and additional enhance the efficiency and value of our networks.