From ddabd724fcaef94d58a409847fef1dbe795ea885 Mon Sep 17 00:00:00 2001 From: schaeff Date: Tue, 31 Jan 2023 12:50:51 +0100 Subject: [PATCH] add assembly disclaimer --- zokrates_book/src/language/assembly.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/zokrates_book/src/language/assembly.md b/zokrates_book/src/language/assembly.md index aa37ddab..da3e71e5 100644 --- a/zokrates_book/src/language/assembly.md +++ b/zokrates_book/src/language/assembly.md @@ -1,6 +1,8 @@ ## Assembly -ZoKrates allows developers to define constraints through assembly blocks. Assembly blocks are considered **unsafe**, as safety and correctness of the resulting arithmetic circuit is in the hands of the developer. Usage of assembly is recommended only in optimization efforts for the experienced developers to minimize constraint count of an arithmetic circuit. +ZoKrates allows developers to define constraints through assembly blocks. Assembly blocks are considered **unsafe**, as safety and correctness of the resulting arithmetic circuit is in the hands of the developer. Usage of assembly is recommended only in optimization efforts for experienced developers to minimize constraint count of an arithmetic circuit. + +>The usage of assembly blocks in ZoKrates is experimental. In particular, while assembly blocks help minimise constraint count in some cases, they currently can at the same time lead to larger compiler output and slower witness generation. ## Writing assembly