github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
Code Issues Projects Releases Wiki Activity

add FIELD_SIZE_IN_BITS constant embed

Browse source
This commit is contained in:
dark64 2021-06-08 20:42:32 +02:00
parent 85dca36161
commit c2e1f3d544
7 changed files with 87 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
zokrates_core/src/imports.rs
View file

@ -14,6 +14,7 @@ use std::fmt;
use std::io;
use std::path::{Path, PathBuf};
use crate::absy::types::UnresolvedType;
use typed_arena::Arena;
use zokrates_common::Resolver;
use zokrates_field::{Bn128Field, Field};
@ -156,6 +157,17 @@ impl Importer {
id: symbol.get_alias(),
symbol: Symbol::Flat(FlatEmbed::U8FromBits),
},
"FIELD_SIZE_IN_BITS" => SymbolDeclaration {
id: symbol.get_alias(),
symbol: Symbol::Here(SymbolDefinition::Constant(
ConstantDefinition {
ty: UnresolvedType::Uint(32).into(),
expression: Expression::U32Constant(T::get_required_bits() as u32)
.into(),
}
.start_end(pos.0, pos.1),
)),
},
s => {
return Err(CompileErrorInner::ImportError(
Error::new(format!("Embed {} not found", s)).with_pos(Some(pos)),

5
zokrates_core_test/tests/tests/cached_condition.json
View file

@ -1,4 +1,5 @@
{
"entry_point": "./tests/tests/cached_condition.zok",
"max_constraint_count": 2015
"entry_point": "./tests/tests/cached_condition.zok",
"max_constraint_count": 2015,
"tests": []
}

4
zokrates_core_test/tests/tests/constants/field_size_in_bits.zok Normal file
View file

@ -0,0 +1,4 @@
from "EMBED" import FIELD_SIZE_IN_BITS
def main() -> u32:
return FIELD_SIZE_IN_BITS

17
zokrates_core_test/tests/tests/constants/field_size_in_bits_bls12_377.json Normal file
View file

@ -0,0 +1,17 @@
{
"entry_point": "./tests/tests/constants/field_size_in_bits.zok",
"max_constraint_count": 1,
"curves": ["Bls12_377"],
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"values": ["253"]
}
}
}
]
}

17
zokrates_core_test/tests/tests/constants/field_size_in_bits_bls12_381.json Normal file
View file

@ -0,0 +1,17 @@
{
"entry_point": "./tests/tests/constants/field_size_in_bits.zok",
"max_constraint_count": 1,
"curves": ["Bls12_381"],
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"values": ["255"]
}
}
}
]
}

17
zokrates_core_test/tests/tests/constants/field_size_in_bits_bn128.json Normal file
View file

@ -0,0 +1,17 @@
{
"entry_point": "./tests/tests/constants/field_size_in_bits.zok",
"max_constraint_count": 1,
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"values": ["254"]
}
}
}
]
}

17
zokrates_core_test/tests/tests/constants/field_size_in_bits_bw6_761.json Normal file
View file

@ -0,0 +1,17 @@
{
"entry_point": "./tests/tests/constants/field_size_in_bits.zok",
"max_constraint_count": 1,
"curves": ["Bw6_761"],
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"values": ["377"]
}
}
}
]
}