-
v6.0.0 Stable
released this
2021-05-26 20:06:56 +09:00 | 146 commits to master since this releaseAdded
- Child contracts
Chain.clone
Chain.create
Chain.bytecode_hash
- Minor support for variadic functions
void
type that represents an empty typeCall.fee
builtin
Changed
- Contract interfaces must be now invocated by
contract interface
keywords main
keyword to indicate the main contract in case there are child contracts aroundList.sum
andList.product
no longer useList.foldl
Removed
Downloads
-
v5.0.0 Stable
released this
2021-04-30 22:17:48 +09:00 | 152 commits to master since this releaseVersion 5.0.0 of the Sophia compiler produces code for FATE v2/Iris (and for supported instructions will also produce code for the deprecated AEVM)
Added
-
A new and improved
String
standard library
has been added. Use it byinclude "String.aes"
. It includes functions for
turning strings into lists of characters for detailed manipulation. For
example:include "String.aes" contract C = entrypoint filter_all_a(s: string) : string = String.from_list(List.filter((c : char) => c != 'a', String.to_list(s)))
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.
-
Operations for pairing-based cryptography has been added the operations
are in the standard library BLS12_381.
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
protected
.
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 argumentprotected : bool
(defaultfalse
).If
protected = true
the result of the contract call is wrapped in an
option
, andSome(value)
indicates a succesful execution andNone
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. -
A new chain operation
AENS.update
is supported. -
New chain exploring operations
AENS.lookup
andOracle.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 availableAuth.tx
, it is only
available during authentication if invoked by a normal contract call
it returnsNone
. Example:switch(Auth.tx) None => abort("Not in Auth context") Some(tx0) => switch(tx0.tx) Chain.SpendTx(_, amount, _) => amount > 400 Chain.ContractCallTx(_, _) => true _ => false
-
A debug mode is a added to the compiler. Right now its only use is to
turn off hermetization.
Changed
- 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 acontains
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.
Downloads
-
-
v4.3.0 Stable
released this
2020-04-02 22:10:53 +09:00 | 251 commits to master since this releaseAdded
- 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
anddecl
Changed
- 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
Removed
let
definitions are no longer supported in the toplevel of the contract- type declarations are no longer supported
Downloads
- Added documentation (moved from
-
v4.2.0 Stable
released this
2020-01-15 19:58:47 +09:00 | 263 commits to master since this releaseAdded
- Allow separate entrypoint/function type signature and definition, and pattern
matching in left-hand sides:function length : list('a) => int length([]) = 0 length(x :: xs) = 1 + length(xs)
- Allow pattern matching in list comprehension generators (filtering out match
failures):function somes(xs : list(option('a))) : list('a) = [ x | Some(x) <- xs ]
- Allow pattern matching in let-bindings (aborting on match failures):
function test(m : map(int, int)) = let Some(x) = Map.lookup(m, 0) x
Changed
- FATE code generator improvements.
- Bug fix: Handle qualified constructors in patterns.
- Bug fix: Allow switching also on negative numbers.
Downloads
- Allow separate entrypoint/function type signature and definition, and pattern
-
v4.1.0 Stable
released this
2019-11-26 17:02:56 +09:00 | 295 commits to master since this releaseAdded
- Support encoding and decoding bit fields in call arguments and results.
Changed
- Various improvements to FATE code generator.
Removed
Downloads
-
Sophia - Roma Stable
released this
2019-01-31 17:51:56 +09:00 | 835 commits to master since this releaseThe purpose of this release is to provide a standalone compiler - corresponding to the compiler that is provided in the latest ROMA release of the
aeternity node
.NOTE: The main usage of this at this point is for regression testing in
aeternity/aeternity
project.Downloads