github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
Code Issues Projects Releases Wiki Activity

remove U32ToField

Browse source
This commit is contained in:
schaeff 2021-08-27 16:05:59 +02:00
parent cf9ca9bf72
commit 28b2a28ed3
2 changed files with 0 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
zokrates_core/src/embed.rs
View file

@ -29,7 +29,6 @@ cfg_if::cfg_if! {
#[derive(Debug, Clone, PartialEq, Eq, Hash, Copy)]
pub enum FlatEmbed {
BitArrayLe,
U32ToField,
Unpack,
U8ToBits,
U16ToBits,
@ -72,9 +71,6 @@ impl FlatEmbed {
)),
])
.outputs(vec![DeclarationType::Boolean]),
FlatEmbed::U32ToField => DeclarationSignature::new()
.inputs(vec![DeclarationType::uint(32)])
.outputs(vec![DeclarationType::FieldElement]),
FlatEmbed::Unpack => DeclarationSignature::new()
.generics(vec![Some(DeclarationConstant::Generic(
GenericIdentifier {
@ -198,7 +194,6 @@ impl FlatEmbed {
pub fn id(&self) -> &'static str {
match self {
FlatEmbed::BitArrayLe => "_BIT_ARRAY_LT",
FlatEmbed::U32ToField => "_U32_TO_FIELD",
FlatEmbed::Unpack => "_UNPACK",
FlatEmbed::U8ToBits => "_U8_TO_BITS",
FlatEmbed::U16ToBits => "_U16_TO_BITS",

1
zokrates_core/src/static_analysis/propagation.rs
View file

@ -384,7 +384,6 @@ impl<'ast, 'a, T: Field> ResultFolder<'ast, T> for Propagator<'ast, 'a, T> {
match arguments.iter().all(|a| a.is_constant()) {
true => {
let r: Option<TypedExpression<'ast, T>> = match embed {
FlatEmbed::U32ToField => None, // todo
FlatEmbed::BitArrayLe => None, // todo
FlatEmbed::U64FromBits => Some(process_u_from_bits(
assignees.clone(),