Changelog
Last updated
Was this helpful?
Last updated
Was this helpful?
All notable changes to this project will be documented in this file.
The format is based on , and this project adheres to .
Added a check for number of type variables in a type signature; it is serialized using 8 bits, so the upper limit is 256.
Upgrade aebytecode to v3.4.1 to fix C warnings
Bitwise operations for integers: band
, bor
, bxor
, bnot
, <<
and >>
.
Int.mulmod
- combined builtin operation for multiplication and modulus.
Crypto.poseidon
- a ZK/SNARK-friendly hash function (over the BLS12-381 scalar field).
Address.to_bytes
- convert an address to its binary representation (for hashing, etc.).
Raw data pointers added to AENS. In short we have introduced a new namespaceAENSv2
; they contain types similar to the old AENS
; AENS.name
andAENS.pointee
, where the latter now has a constructor DataPt(bytes())
. All
AENS actions have been moved to AENSv2
, and AENSv2.lookup
andAENSv2.update
consume and produce the new types. The old AENS
namespace
only contains the old datatypes, that can be used to interface existing
contracts. Standard library AENSCompat
is added to convert between old and
new pointers.
Introduce arbitrary sized binary arrays (type bytes()
); adding Bytes.split_any
,Bytes.to_fixed_size
, Bytes.to_any_size
, Bytes.size
, String.to_bytes
,
and Int.to_bytes
; and adjust Bytes.concat
to allow both fixed and arbitrary
sized byte arrays.
Chain.network_id
- a function to get hold of the Chain's network id.
Allowing Bytes.to_any_size
in calldata creation, to enable creation of arguments
with arbitray size.
Signature literals sg_...
- they have type signature
(which is an alias for bytes(64)
).
Support for OTP-27 - no changes in behavior.
Crypto.verify_sig
is changed to have msg : bytes()
. I.e. the
signed data can be of any length (used to be limited to bytes(32)
/hash
).
System aliases are handled explicitly when converting to a Sophia value, this is only
observable for signature
where a value of type signature
is now represented as a
(new) signature literal.
Allow self-qualification, i.e. referencing X.foo
when in namespace X
.
Bitwise.aes
standard library is removed - the builtin operations are superior.
Improve how includes with relative paths are resolved during parsing/compilation. Relative
include paths are now always relative to the file containing the include
statement.
Disable unused type warnings for types used inside of records.
Names of lifted lambdas now consist of parent function's name and their position in the source code.
Lifted lambdas get their names assigned deterministically.
Fixed a bug with polymorphism that allowed functions with the same name but different type to be considered as implementations for their corresponding interface function.
Fixed a bug in the byte code optimization that incorrectly reordered dependent instructions.
Fixed bugs with the newly added debugging symbols
Toplevel compile-time constants
API functions for encoding/decoding Sophia values to/from FATE.
Remove the mapping from variables to FATE registers from the compilation output.
Warning about unused include when there is no include.
Options to enable/disable certain optimizations.
The ability to call a different instance of the current contract
Return a mapping from variables to FATE registers in the compilation output.
Hole expression.
Type definitions serialised to ACI as typedefs
field instead of type_defs
to increase compatibility.
Check contracts and entrypoints modifiers when implementing interfaces.
Contracts can no longer be used as namespaces.
Do not show unused stateful warning for functions that call other contracts with a non-zero value argument.
Typechecker crashes if Chain.create or Chain.clone are used without arguments.
Add CONTRIBUTING.md file.
Update Sophia syntax docs to include missing information about existing syntax.
Added support for EXIT
opcode via exit : (string) => 'a
function (behaves same as ABORT
, but consumes all gas).
Compiler warnings for the following: shadowing, negative spends, division by zero, unused functions, unused includes, unused stateful annotations, unused variables, unused parameters, unused user-defined type, dead return value.
The pipe operator |>
Allow binary operators to be used as lambdas
Contract interfaces polymorphism
Error messages have been restructured (less newlines) to provide more unified errors. Also pp_oneline/1
has been added.
Ban empty record definitions (e.g. record r = {}
would give an error).
Support for AEVM has been entirely wiped
Bitwise
stdlib
Set
stdlib
Option.force_msg
Loading namespaces into the current scope (e.g. using Pair
)
Assign patterns to variables (e.g. let x::(t = y::_) = [1, 2, 3, 4]
where t == [2, 3, 4]
)
Add builtin types (AENS.name, AENS.pointee, Chain.ttl, Chain.base_tx, Chain.ga_meta_tx, Chain.paying_for_tx
) to
the calldata and result decoder
Patterns guards
Fixed the ACI renderer, it shouldn't drop the stateful
modifier
List.from_to_step
now forbids non-positive step (this change doesnot alter the behavior of the previously deployed contracts)
Fixed leaking state between contracts
Fixed a bug in calldata encoding for contracts containing multiple contracts
Fixed a missing include
in the Frac
standard library
Child contracts
Chain.clone
Chain.create
Chain.bytecode_hash
Minor support for variadic functions
void
type that represents an empty type
Call.fee
builtin
Contract interfaces must be now invocated by contract interface
keywords
main
keyword to indicate the main contract in case there are child contracts around
List.sum
and List.product
no longer use List.foldl
will return a list with all a
's removed.
There are also convenience functions split
, concat
, to_upper
,to_lower
, etc.
All String functions in FATEv2 operate on unicode code points.
If protected = true
the result of the contract call is wrapped in anoption
, and Some(value)
indicates a succesful execution and None
indicates that the contract call failed. Note: any gas consumed until
the failure is still charged, but all side effects in the remote
contract are rolled back on failure.
New chain exploring operations AENS.lookup
and Oracle.expiry
to
look up an AENS record and the expiry of an Oracle respectively, are added.
Transaction introspection (Auth.tx
) has been added. When a Generalized
account is authorized, the authorization function needs access to the
transaction (and the transaction hash) for the wrapped transaction. The
transaction and the transaction hash is available Auth.tx
, it is only
available during authentication if invoked by a normal contract call
it returns None
. Example:
A debug mode is a added to the compiler. Right now its only use is to turn off hermetization.
The function Chain.block_hash(height)
is now (in FATEv2) defined for
the current height - this used to be an error.
Standard library: Sort is optimized to do mergesort
and a contains
function is added.
Improved type errors and explicit errors for some syntax errors (empty code blocks, etc.).
Compiler optimization: The ACI is generated alongside bytecode. This means that multiple compiler passes can be avoided.
Compiler optimization: Improved parsing (less stack used when transpiled).
A bug where constraints were handled out of order fixed.
Fixed calldata decoding for singleton records.
Improved the documentation w.r.t. signatures, especially stressing the fact that the network ID is a part of what is signed.
Added documentation (moved from protocol
)
Frac.aes
– library for rational numbers
Added some more meaningful error messages
Exported several parsing functionalities
With option keep_included
it is possible to see which files were included during the parse
There is a function run_parser
that be used to evaluate any parsing rule
Exported parsers: body
, type
and decl
Performance improvements in the standard library
Fixed ACI encoder to handle -
unary operator
Fixed including by absolute path
Fixed variant type printing in the ACI error messages
Fixed pretty printing of combined function clauses
let
definitions are no longer supported in the toplevel of the contract
type declarations are no longer supported
Allow separate entrypoint/function type signature and definition, and pattern matching in left-hand sides:
Allow pattern matching in list comprehension generators (filtering out match failures):
Allow pattern matching in let-bindings (aborting on match failures):
FATE code generator improvements.
Bug fix: Handle qualified constructors in patterns.
Bug fix: Allow switching also on negative numbers.
Support encoding and decoding bit fields in call arguments and results.
Various improvements to FATE code generator.
Address.to_contract
- casts an address to a (any) contract type.
Pragma to check compiler version, e.g. @compiler >= 4.0
.
Handle numeric escapes, i.e. "\x19Ethereum Signed Message:\n"
, and similar strings.
Bytes.concat
and Bytes.split
are added to be able to
(de-)construct byte arrays.
[a..b]
language construct, returning the list of numbers betweena
and b
(inclusive). Returns the empty list if a
> b
.
Checks that init
is not called from other functions.
FATE backend - the compiler is able to produce VM code for both AEVM
and FATE
. Many
of the APIs now take {backend, aevm | fate}
to decide wich backend to produce artifacts
for.
New builtin functions Crypto.ecrecover_secp256k1: (hash, bytes(65)) => option(bytes(20))
and Crypto.ecverify_secp256k1 : (hash, bytes(20), bytes(65)) => bool
for recovering
and verifying an Ethereum address for a message hash and a signature.
Sophia supports list comprehensions known from languages like Python, Haskell or Erlang. Example syntax:
A new contract, and endpoint, modifier payable
is introduced. Contracts, and enpoints,
that shall be able to receive funds should be marked as payable. Address.is_payable(a)
can be used to check if an (contract) address is payable or not.
Nice type error if contract function is called as from a namespace.
Fail on function definitions in contracts other than the main contract.
Bug fix in variable optimization - don't discard writes to the store/state.
Bug fixes in error reporting.
Bug fix in variable liveness analysis for FATE.
Error messages are changed into a uniform format, and more helpful messages have been added.
Crypto.<hash_fun>
and String.<hash_fun>
for byte arrays now only
hash the actual byte array - not the internal ABI format.
More strict checks for polymorphic oracles and higher order oracles and entrypoints.
AENS.claim
is updated with a NameFee
field - to be able to do
name auctions within contracts.
Fixed a bug in Bytes.to_str
for AEVM.
New syntax for tuple types. Now 0-tuple type is encoded as unit
instead of ()
and
regular tuples are encoded by interspersing inner types with *
, for instance int * string
.
Parens are not necessary. Note it only affects the types, values remain as their were before,
so (1, "a") : int * string
The AENS.transfer
and AENS.revoke
functions have been updated to take a name string
instead of a name hash
.
Fixed a bug where the AEVM
backend complained about a missing init
function when
trying to generate calldata from an ACI-generated interface.
Compiler now returns the ABI-version in the compiler result map.
Renamed Crypto.ecverify
and Crypto.ecverify_secp256k1
into Crypto.verify_sig
andCrypto.verify_sig_secp256k1
respectively.
New builtin function require : (bool, string) => ()
. Defined as
New builtin functions
for converting a byte array to a hex string and interpreting it as a big-endian encoded integer respectively.
Public contract functions must now be declared as entrypoints:
Functions in namespaces still use function
(and private function
for
private functions).
The return type of Chain.block_hash(height)
has changed, it used to
be int
, where 0
denoted an incorrect height. New return type isoption(hash)
, where None
represents an incorrect height.
Event name hashes now use BLAKE2b instead of Keccak256.
Fixed bugs when defining record types in namespaces.
Fixed a bug in include path handling when passing options to the compiler.
Keyword indexed
is now optional for word typed (bool
, int
, address
,
...) event arguments.
State variable pretty printing now produce 'a, 'b, ...
instead of '1, '2, ...
.
ACI is restructured and improved:
state
and event
types (if present) now appear at the top level.
Namespaces and remote interfaces are no longer ignored.
All type definitions are included in the interface rendering.
API functions are renamed, new functions are contract_interface
and render_aci_json
.
Fixed a bug in create_calldata
/to_sophia_value
- it can now handle negative
literals.
stateful
annotations are now properly enforced. Functions must be marked stateful
in order to update the state or spend tokens.
Primitives Contract.creator
, Address.is_contract
, Address.is_oracle
,Oracle.check
and Oracle.check_query
has been added to Sophia.
A byte array type bytes(N)
has been added to generalize hash (== bytes(32))
andsignature (== bytes(64))
and allow for byte arrays of arbitrary fixed length.
Crypto.ecverify_secp256k1
has been added.
Address literals (+ Oracle, Oracle query and remote contracts) have been changed
from #<hex>
to address as ak_<base58check>
, oracle ok_<base58check>
,
oracle query oq_<base58check>
and remote contract ct_<base58check>
.
The compilation and typechecking of letfun
(e.g. let m(f, xs) = map(f, xs)
) was
not working properly and has been fixed.
let rec
has been removed from the language, it has never worked.
The standalone CLI compiler is served in the repo aeternity/aesophia_cli
and has
been completely removed from aesophia
.
Stubs (not yet wired up) for compilation to FATE
Add functions specific for Calldata decoding
Support for Auth.tx_hash
, not available in AEVM until Fortuna release
Improvements to the ACI generator
Add Crypto.ecverify
to the compiler.
Add Crypto.sha3
, Crypto.blake2
, Crypto.sha256
, String.blake2
andString.sha256
to the compiler.
Add the bits
type for working with bit fields in Sophia.
Add Namespaces to Sophia in order to simplify using library contracts, etc.
Add a missig type check on the init
function - detects programmer errors earlier.
Add the ACI (Aeternity Contract Interface) generator.
Use native bit shift operations in builtin functions, reducing gas cost.
Improve type checking of record
fields - generates more understandable error messages.
Improved, more coherent, error messages.
Simplify calldata creation - instead of passing a compiled contract, simply pass a (stubbed) contract string.
Contract polymorphism crashes on non-obvious child contract typing.
A new and improved
has been added. Use it by include "String.aes"
. It includes functions for
turning strings into lists of characters for detailed manipulation. For
example:
Operations for pairing-based cryptography has been added the operations are in the standard library . With these operations it is possible to do Zero Knowledge-proofs, etc. The operations are for the BLS12-381 curve (as the name suggests).
Calls to functions in other contracts (i.e. remote calls) can now be.
If a contract call fails for any reason (for instance, the remote contract
crashes or runs out of gas, or the entrypoint doesn't exist or has the
wrong type) the parent call also fails. To make it possible to recover
from failures, contract calls takes a named argument protected : bool
(default false
).
A new chain operation is supported.