Unclaimed project
Are you a maintainer of snarkOS? Claim this project to take control of your public changelog and roadmap.
Our team is happy to announce a new version of the Aleo Stack, which includes the node implementation snarkOS and the programming language Leo. These applications are built on top of the developer-friendly snarkVM and Aleo SDK libraries. Aleo is an open source cryptocurrency through which developers can deploy cryptographically secure dApps.
Most notably, this release unlocks using block timestamps in Aleo smart contracts. A number of stability improvements have made their way into the nodes. Costs can now be estimated using Authorizations instead of Executions, making it easier for wallets to determine fees. \
If you want to try it out, you can build from source today or download the mainnet release from Github November 25th. Find the current release schedule at: https://provablehq.github.io/.
Please report any issues you might come across!
A consensus change will occur at the following times:
The exact block heights will be encoded in the snarkVM library at release.
ATTENTION: Validators that do not upgrade in time will be at risk of forking and require manual intervention. Clients that do not upgrade will be at risk of halting until an upgrade occurs.
This PR added a new block.timestamp operand that can be used in finalize. This adds to the existing block.height operand for accessing block state, and allows for richer smart contract logic on the Aleo chain.
Further improvements worth mentioning include:
--trusted_peers_only flag, while deprecating --allow_external_peers and --rotate_external_peers. The new flag can be used by a node to sync with just the peers passed explicitly via --validators and --peers.Arrays of size 0 and loops over empty ranges are now supported in Leo. While these constructs do not produce any instructions in the compiled Aleo bytecode, they enable more generic or pattern-based programming styles in Leo, especially when writing code that abstracts over sizes, iterates conditionally, or uses compile-time parameters. For example:
const values failed to compile correctly when used in loop ranges.snarkVM is a zkVM library. It powers the Aleo network and most of the software used to interact with it. The following contains some of the most relevant changes which were introduced:
execution_cost_for_authorization execution_cost_v* functions have been made private and are no longer accessible, use execution_cost insteadThe full changelogs for the referenced releases can be found here:
If you want to try it out, you can build from source today or download the mainnet release from Github November 25th. Find the current release schedule at: https://provablehq.github.io/.
A big thank you to all the contributors on Github to this snarkOS, Leo, SDK and snarkVM release!
@antonio95
@copilot
@d0cd
@kaimast
@iamalwaysuncomfortable
@IGI-111
@ljedrz
@meddle0x53
@mohammadfawaz
@mikebenfield
@niklaslong
@tenequm
@raychu86
@Roee-87
@vicsn