ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-28 01:01:53 +03:00
Code Issues Packages Projects Releases Wiki Activity

comment out integers

Browse Source
This commit is contained in:
collin 2020-08-08 02:17:20 -07:00
parent 3c6d7e2d90
commit 168561f340
6 changed files with 454 additions and 448 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
compiler/src/statement/iteration/iteration.rs
View File

@ -1,21 +1,11 @@
//! Enforces an iteration statement in a compiled Leo program.
use crate::{
errors::StatementError,
new_scope,
program::ConstrainedProgram,
value::ConstrainedValue,
GroupType,
Integer,
};
use crate::{errors::StatementError, program::ConstrainedProgram, value::ConstrainedValue, GroupType};
use leo_typed::{Expression, Identifier, Span, Statement, Type};
use snarkos_models::{
curves::{Field, PrimeField},
gadgets::{
r1cs::ConstraintSystem,
utilities::{boolean::Boolean, uint::UInt32},
},
gadgets::{r1cs::ConstraintSystem, utilities::boolean::Boolean},
};
impl<F: Field + PrimeField, G: GroupType<F>> ConstrainedProgram<F, G> {
@ -25,7 +15,7 @@ impl<F: Field + PrimeField, G: GroupType<F>> ConstrainedProgram<F, G> {
file_scope: String,
function_scope: String,
indicator: Option<Boolean>,
index: Identifier,
_index: Identifier,
start: Expression,
stop: Expression,
statements: Vec<Statement>,
@ -40,12 +30,14 @@ impl<F: Field + PrimeField, G: GroupType<F>> ConstrainedProgram<F, G> {
for i in from..to {
// Store index in current function scope.
// For loop scope is not implemented.
let index_name = new_scope(function_scope.clone(), index.to_string());
self.store(
index_name,
ConstrainedValue::Integer(Integer::U32(UInt32::constant(i as u32))),
);
// todo: store index once integers are implemented
// let index_name = new_scope(function_scope.clone(), index.to_string());
//
// self.store(
// index_name,
// ConstrainedValue::Integer(Integer::U32(UInt32::constant(i as u32))),
// );
// Evaluate statements and possibly return early
let name_unique = format!("for loop iteration {} {}:{}", i, span.line, span.start);

840
compiler/src/value/integer/integer.rs
View File

@ -1,10 +1,6 @@
//! Conversion of integer declarations to constraints in Leo.
use crate::{errors::IntegerError, integer::macros::IntegerTrait};
use leo_gadgets::{
arithmetic::*,
bits::comparator::{ComparatorGadget, EvaluateLtGadget},
signed_integer::*,
};
use crate::errors::IntegerError;
use leo_gadgets::bits::comparator::{ComparatorGadget, EvaluateLtGadget};
use leo_typed::{InputValue, IntegerType, Span};
use snarkos_errors::gadgets::SynthesisError;
@ -13,11 +9,9 @@ use snarkos_models::{
gadgets::{
r1cs::ConstraintSystem,
utilities::{
alloc::AllocGadget,
boolean::Boolean,
eq::{ConditionalEqGadget, EqGadget, EvaluateEqGadget},
select::CondSelectGadget,
uint::{UInt, UInt128, UInt16, UInt32, UInt64, UInt8},
},
},
};
@ -26,446 +20,462 @@ use std::fmt;
/// An integer type enum wrapping the integer value.
#[derive(Debug, Clone, PartialEq, Eq, PartialOrd)]
pub enum Integer {
U8(UInt8),
U16(UInt16),
U32(UInt32),
U64(UInt64),
U128(UInt128),
I8(Int8),
I16(Int16),
I32(Int32),
I64(Int64),
I128(Int128),
// U8(UInt8),
// U16(UInt16),
// U32(UInt32),
// U64(UInt64),
// U128(UInt128),
//
// I8(Int8),
// I16(Int16),
// I32(Int32),
// I64(Int64),
// I128(Int128),
}
impl fmt::Display for Integer {
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
let integer = self;
let option = match_integer!(integer => integer.get_value());
match option {
Some(number) => write!(f, "{}{}", number, self.get_type()),
None => write!(f, "[input]{}", self.get_type()),
}
fn fmt(&self, _f: &mut fmt::Formatter) -> fmt::Result {
unimplemented!();
// let integer = self;
// let option = match_integer!(integer => integer.get_value());
// match option {
// Some(number) => write!(f, "{}{}", number, self.get_type()),
// None => write!(f, "[input]{}", self.get_type()),
// }
}
}
impl Integer {
pub fn new_constant(integer_type: &IntegerType, string: String, span: Span) -> Result<Self, IntegerError> {
match integer_type {
IntegerType::U8 => {
let number = string
.parse::<u8>()
.map_err(|_| IntegerError::invalid_integer(string, span))?;
Ok(Integer::U8(UInt8::constant(number)))
}
IntegerType::U16 => {
let number = string
.parse::<u16>()
.map_err(|_| IntegerError::invalid_integer(string, span))?;
Ok(Integer::U16(UInt16::constant(number)))
}
IntegerType::U32 => {
let number = string
.parse::<u32>()
.map_err(|_| IntegerError::invalid_integer(string, span))?;
Ok(Integer::U32(UInt32::constant(number)))
}
IntegerType::U64 => {
let number = string
.parse::<u64>()
.map_err(|_| IntegerError::invalid_integer(string, span))?;
Ok(Integer::U64(UInt64::constant(number)))
}
IntegerType::U128 => {
let number = string
.parse::<u128>()
.map_err(|_| IntegerError::invalid_integer(string, span))?;
Ok(Integer::U128(UInt128::constant(number)))
}
IntegerType::I8 => {
let number = string
.parse::<i8>()
.map_err(|_| IntegerError::invalid_integer(string, span))?;
Ok(Integer::I8(Int8::constant(number)))
}
IntegerType::I16 => {
let number = string
.parse::<i16>()
.map_err(|_| IntegerError::invalid_integer(string, span))?;
Ok(Integer::I16(Int16::constant(number)))
}
IntegerType::I32 => {
let number = string
.parse::<i32>()
.map_err(|_| IntegerError::invalid_integer(string, span))?;
Ok(Integer::I32(Int32::constant(number)))
}
IntegerType::I64 => {
let number = string
.parse::<i64>()
.map_err(|_| IntegerError::invalid_integer(string, span))?;
Ok(Integer::I64(Int64::constant(number)))
}
IntegerType::I128 => {
let number = string
.parse::<i128>()
.map_err(|_| IntegerError::invalid_integer(string, span))?;
Ok(Integer::I128(Int128::constant(number)))
}
}
pub fn new_constant(_integer_type: &IntegerType, _string: String, _span: Span) -> Result<Self, IntegerError> {
unimplemented!();
// match integer_type {
// IntegerType::U8 => {
// let number = string
// .parse::<u8>()
// .map_err(|_| IntegerError::invalid_integer(string, span))?;
//
// Ok(Integer::U8(UInt8::constant(number)))
// }
// IntegerType::U16 => {
// let number = string
// .parse::<u16>()
// .map_err(|_| IntegerError::invalid_integer(string, span))?;
//
// Ok(Integer::U16(UInt16::constant(number)))
// }
// IntegerType::U32 => {
// let number = string
// .parse::<u32>()
// .map_err(|_| IntegerError::invalid_integer(string, span))?;
//
// Ok(Integer::U32(UInt32::constant(number)))
// }
// IntegerType::U64 => {
// let number = string
// .parse::<u64>()
// .map_err(|_| IntegerError::invalid_integer(string, span))?;
//
// Ok(Integer::U64(UInt64::constant(number)))
// }
// IntegerType::U128 => {
// let number = string
// .parse::<u128>()
// .map_err(|_| IntegerError::invalid_integer(string, span))?;
//
// Ok(Integer::U128(UInt128::constant(number)))
// }
//
// IntegerType::I8 => {
// let number = string
// .parse::<i8>()
// .map_err(|_| IntegerError::invalid_integer(string, span))?;
//
// Ok(Integer::I8(Int8::constant(number)))
// }
// IntegerType::I16 => {
// let number = string
// .parse::<i16>()
// .map_err(|_| IntegerError::invalid_integer(string, span))?;
//
// Ok(Integer::I16(Int16::constant(number)))
// }
// IntegerType::I32 => {
// let number = string
// .parse::<i32>()
// .map_err(|_| IntegerError::invalid_integer(string, span))?;
//
// Ok(Integer::I32(Int32::constant(number)))
// }
// IntegerType::I64 => {
// let number = string
// .parse::<i64>()
// .map_err(|_| IntegerError::invalid_integer(string, span))?;
//
// Ok(Integer::I64(Int64::constant(number)))
// }
// IntegerType::I128 => {
// let number = string
// .parse::<i128>()
// .map_err(|_| IntegerError::invalid_integer(string, span))?;
//
// Ok(Integer::I128(Int128::constant(number)))
// }
// }
}
pub fn get_bits(&self) -> Vec<Boolean> {
let integer = self;
match_integer!(integer => integer.get_bits())
unimplemented!();
// let integer = self;
// match_integer!(integer => integer.get_bits())
}
pub fn get_value(&self) -> Option<String> {
let integer = self;
match_integer!(integer => integer.get_value())
unimplemented!();
// let integer = self;
// match_integer!(integer => integer.get_value())
}
pub fn to_usize(&self, span: Span) -> Result<usize, IntegerError> {
let value = self.get_value().ok_or(IntegerError::invalid_index(span.clone()))?;
let value_usize = value
.parse::<usize>()
.map_err(|_| IntegerError::invalid_integer(value, span))?;
Ok(value_usize)
pub fn to_usize(&self, _span: Span) -> Result<usize, IntegerError> {
unimplemented!();
// let value = self.get_value().ok_or(IntegerError::invalid_index(span.clone()))?;
// let value_usize = value
// .parse::<usize>()
// .map_err(|_| IntegerError::invalid_integer(value, span))?;
// Ok(value_usize)
}
pub fn get_type(&self) -> IntegerType {
match self {
Integer::U8(_u8) => IntegerType::U8,
Integer::U16(_u16) => IntegerType::U16,
Integer::U32(_u32) => IntegerType::U32,
Integer::U64(_u64) => IntegerType::U64,
Integer::U128(_u128) => IntegerType::U128,
Integer::I8(_u8) => IntegerType::I8,
Integer::I16(_u16) => IntegerType::I16,
Integer::I32(_u32) => IntegerType::I32,
Integer::I64(_u64) => IntegerType::I64,
Integer::I128(_u128) => IntegerType::I128,
}
unimplemented!();
// match self {
// Integer::U8(_u8) => IntegerType::U8,
// Integer::U16(_u16) => IntegerType::U16,
// Integer::U32(_u32) => IntegerType::U32,
// Integer::U64(_u64) => IntegerType::U64,
// Integer::U128(_u128) => IntegerType::U128,
//
// Integer::I8(_u8) => IntegerType::I8,
// Integer::I16(_u16) => IntegerType::I16,
// Integer::I32(_u32) => IntegerType::I32,
// Integer::I64(_u64) => IntegerType::I64,
// Integer::I128(_u128) => IntegerType::I128,
// }
}
pub fn allocate_type<F: Field, CS: ConstraintSystem<F>>(
cs: &mut CS,
integer_type: IntegerType,
name: String,
option: Option<String>,
span: Span,
_cs: &mut CS,
_integer_type: IntegerType,
_name: String,
_option: Option<String>,
_span: Span,
) -> Result<Self, IntegerError> {
Ok(match integer_type {
IntegerType::U8 => {
let u8_name = format!("{}: u8", name);
let u8_name_unique = format!("`{}` {}:{}", u8_name, span.line, span.start);
let u8_option = option.map(|s| {
s.parse::<u8>()
.map_err(|_| IntegerError::invalid_integer(s, span.clone()))
.unwrap()
});
let u8_result = UInt8::alloc(cs.ns(|| u8_name_unique), || {
u8_option.ok_or(SynthesisError::AssignmentMissing)
})
.map_err(|_| IntegerError::missing_integer(u8_name, span))?;
Integer::U8(u8_result)
}
IntegerType::U16 => {
let u16_name = format!("{}: u16", name);
let u16_name_unique = format!("`{}` {}:{}", u16_name, span.line, span.start);
let u16_option = option.map(|s| {
s.parse::<u16>()
.map_err(|_| IntegerError::invalid_integer(s, span.clone()))
.unwrap()
});
let u16_result = UInt16::alloc(cs.ns(|| u16_name_unique), || {
u16_option.ok_or(SynthesisError::AssignmentMissing)
})
.map_err(|_| IntegerError::missing_integer(u16_name, span))?;
Integer::U16(u16_result)
}
IntegerType::U32 => {
let u32_name = format!("{}: u32", name);
let u32_name_unique = format!("`{}` {}:{}", u32_name, span.line, span.start);
let u32_option = option.map(|s| {
s.parse::<u32>()
.map_err(|_| IntegerError::invalid_integer(s, span.clone()))
.unwrap()
});
let u32_result = UInt32::alloc(cs.ns(|| u32_name_unique), || {
u32_option.ok_or(SynthesisError::AssignmentMissing)
})
.map_err(|_| IntegerError::missing_integer(u32_name, span))?;
Integer::U32(u32_result)
}
IntegerType::U64 => {
let u64_name = format!("{}: u64", name);
let u64_name_unique = format!("`{}` {}:{}", u64_name, span.line, span.start);
let u64_option = option.map(|s| {
s.parse::<u64>()
.map_err(|_| IntegerError::invalid_integer(s, span.clone()))
.unwrap()
});
let u64_result = UInt64::alloc(cs.ns(|| u64_name_unique), || {
u64_option.ok_or(SynthesisError::AssignmentMissing)
})
.map_err(|_| IntegerError::missing_integer(u64_name, span))?;
Integer::U64(u64_result)
}
IntegerType::U128 => {
let u128_name = format!("{}: u128", name);
let u128_name_unique = format!("`{}` {}:{}", u128_name, span.line, span.start);
let u128_option = option.map(|s| {
s.parse::<u128>()
.map_err(|_| IntegerError::invalid_integer(s, span.clone()))
.unwrap()
});
let u128_result = UInt128::alloc(cs.ns(|| u128_name_unique), || {
u128_option.ok_or(SynthesisError::AssignmentMissing)
})
.map_err(|_| IntegerError::missing_integer(u128_name, span))?;
Integer::U128(u128_result)
}
IntegerType::I8 => {
let i8_name = format!("{}: i8", name);
let i8_name_unique = format!("`{}` {}:{}", i8_name, span.line, span.start);
let i8_option = option.map(|s| {
s.parse::<i8>()
.map_err(|_| IntegerError::invalid_integer(s, span.clone()))
.unwrap()
});
let i8_result = Int8::alloc(cs.ns(|| i8_name_unique), || {
i8_option.ok_or(SynthesisError::AssignmentMissing)
})
.map_err(|_| IntegerError::missing_integer(i8_name, span))?;
Integer::I8(i8_result)
}
IntegerType::I16 => {
let i16_name = format!("{}: i16", name);
let i16_name_unique = format!("`{}` {}:{}", i16_name, span.line, span.start);
let i16_option = option.map(|s| {
s.parse::<i16>()
.map_err(|_| IntegerError::invalid_integer(s, span.clone()))
.unwrap()
});
let i16_result = Int16::alloc(cs.ns(|| i16_name_unique), || {
i16_option.ok_or(SynthesisError::AssignmentMissing)
})
.map_err(|_| IntegerError::missing_integer(i16_name, span))?;
Integer::I16(i16_result)
}
IntegerType::I32 => {
let i32_name = format!("{}: i32", name);
let i32_name_unique = format!("`{}` {}:{}", i32_name, span.line, span.start);
let i32_option = option.map(|s| {
s.parse::<i32>()
.map_err(|_| IntegerError::invalid_integer(s, span.clone()))
.unwrap()
});
let i32_result = Int32::alloc(cs.ns(|| i32_name_unique), || {
i32_option.ok_or(SynthesisError::AssignmentMissing)
})
.map_err(|_| IntegerError::missing_integer(i32_name, span))?;
Integer::I32(i32_result)
}
IntegerType::I64 => {
let i64_name = format!("{}: i64", name);
let i64_name_unique = format!("`{}` {}:{}", i64_name, span.line, span.start);
let i64_option = option.map(|s| {
s.parse::<i64>()
.map_err(|_| IntegerError::invalid_integer(s, span.clone()))
.unwrap()
});
let i64_result = Int64::alloc(cs.ns(|| i64_name_unique), || {
i64_option.ok_or(SynthesisError::AssignmentMissing)
})
.map_err(|_| IntegerError::missing_integer(i64_name, span))?;
Integer::I64(i64_result)
}
IntegerType::I128 => {
let i128_name = format!("{}: i128", name);
let i128_name_unique = format!("`{}` {}:{}", i128_name, span.line, span.start);
let i128_option = option.map(|s| {
s.parse::<i128>()
.map_err(|_| IntegerError::invalid_integer(s, span.clone()))
.unwrap()
});
let i128_result = Int128::alloc(cs.ns(|| i128_name_unique), || {
i128_option.ok_or(SynthesisError::AssignmentMissing)
})
.map_err(|_| IntegerError::missing_integer(i128_name, span))?;
Integer::I128(i128_result)
}
})
unimplemented!();
// Ok(match integer_type {
// IntegerType::U8 => {
// let u8_name = format!("{}: u8", name);
// let u8_name_unique = format!("`{}` {}:{}", u8_name, span.line, span.start);
//
// let u8_option = option.map(|s| {
// s.parse::<u8>()
// .map_err(|_| IntegerError::invalid_integer(s, span.clone()))
// .unwrap()
// });
//
// let u8_result = UInt8::alloc(cs.ns(|| u8_name_unique), || {
// u8_option.ok_or(SynthesisError::AssignmentMissing)
// })
// .map_err(|_| IntegerError::missing_integer(u8_name, span))?;
//
// Integer::U8(u8_result)
// }
// IntegerType::U16 => {
// let u16_name = format!("{}: u16", name);
// let u16_name_unique = format!("`{}` {}:{}", u16_name, span.line, span.start);
// let u16_option = option.map(|s| {
// s.parse::<u16>()
// .map_err(|_| IntegerError::invalid_integer(s, span.clone()))
// .unwrap()
// });
// let u16_result = UInt16::alloc(cs.ns(|| u16_name_unique), || {
// u16_option.ok_or(SynthesisError::AssignmentMissing)
// })
// .map_err(|_| IntegerError::missing_integer(u16_name, span))?;
//
// Integer::U16(u16_result)
// }
// IntegerType::U32 => {
// let u32_name = format!("{}: u32", name);
// let u32_name_unique = format!("`{}` {}:{}", u32_name, span.line, span.start);
// let u32_option = option.map(|s| {
// s.parse::<u32>()
// .map_err(|_| IntegerError::invalid_integer(s, span.clone()))
// .unwrap()
// });
// let u32_result = UInt32::alloc(cs.ns(|| u32_name_unique), || {
// u32_option.ok_or(SynthesisError::AssignmentMissing)
// })
// .map_err(|_| IntegerError::missing_integer(u32_name, span))?;
//
// Integer::U32(u32_result)
// }
// IntegerType::U64 => {
// let u64_name = format!("{}: u64", name);
// let u64_name_unique = format!("`{}` {}:{}", u64_name, span.line, span.start);
// let u64_option = option.map(|s| {
// s.parse::<u64>()
// .map_err(|_| IntegerError::invalid_integer(s, span.clone()))
// .unwrap()
// });
// let u64_result = UInt64::alloc(cs.ns(|| u64_name_unique), || {
// u64_option.ok_or(SynthesisError::AssignmentMissing)
// })
// .map_err(|_| IntegerError::missing_integer(u64_name, span))?;
//
// Integer::U64(u64_result)
// }
// IntegerType::U128 => {
// let u128_name = format!("{}: u128", name);
// let u128_name_unique = format!("`{}` {}:{}", u128_name, span.line, span.start);
// let u128_option = option.map(|s| {
// s.parse::<u128>()
// .map_err(|_| IntegerError::invalid_integer(s, span.clone()))
// .unwrap()
// });
// let u128_result = UInt128::alloc(cs.ns(|| u128_name_unique), || {
// u128_option.ok_or(SynthesisError::AssignmentMissing)
// })
// .map_err(|_| IntegerError::missing_integer(u128_name, span))?;
//
// Integer::U128(u128_result)
// }
//
// IntegerType::I8 => {
// let i8_name = format!("{}: i8", name);
// let i8_name_unique = format!("`{}` {}:{}", i8_name, span.line, span.start);
// let i8_option = option.map(|s| {
// s.parse::<i8>()
// .map_err(|_| IntegerError::invalid_integer(s, span.clone()))
// .unwrap()
// });
// let i8_result = Int8::alloc(cs.ns(|| i8_name_unique), || {
// i8_option.ok_or(SynthesisError::AssignmentMissing)
// })
// .map_err(|_| IntegerError::missing_integer(i8_name, span))?;
//
// Integer::I8(i8_result)
// }
// IntegerType::I16 => {
// let i16_name = format!("{}: i16", name);
// let i16_name_unique = format!("`{}` {}:{}", i16_name, span.line, span.start);
// let i16_option = option.map(|s| {
// s.parse::<i16>()
// .map_err(|_| IntegerError::invalid_integer(s, span.clone()))
// .unwrap()
// });
// let i16_result = Int16::alloc(cs.ns(|| i16_name_unique), || {
// i16_option.ok_or(SynthesisError::AssignmentMissing)
// })
// .map_err(|_| IntegerError::missing_integer(i16_name, span))?;
//
// Integer::I16(i16_result)
// }
// IntegerType::I32 => {
// let i32_name = format!("{}: i32", name);
// let i32_name_unique = format!("`{}` {}:{}", i32_name, span.line, span.start);
// let i32_option = option.map(|s| {
// s.parse::<i32>()
// .map_err(|_| IntegerError::invalid_integer(s, span.clone()))
// .unwrap()
// });
// let i32_result = Int32::alloc(cs.ns(|| i32_name_unique), || {
// i32_option.ok_or(SynthesisError::AssignmentMissing)
// })
// .map_err(|_| IntegerError::missing_integer(i32_name, span))?;
//
// Integer::I32(i32_result)
// }
// IntegerType::I64 => {
// let i64_name = format!("{}: i64", name);
// let i64_name_unique = format!("`{}` {}:{}", i64_name, span.line, span.start);
// let i64_option = option.map(|s| {
// s.parse::<i64>()
// .map_err(|_| IntegerError::invalid_integer(s, span.clone()))
// .unwrap()
// });
// let i64_result = Int64::alloc(cs.ns(|| i64_name_unique), || {
// i64_option.ok_or(SynthesisError::AssignmentMissing)
// })
// .map_err(|_| IntegerError::missing_integer(i64_name, span))?;
//
// Integer::I64(i64_result)
// }
// IntegerType::I128 => {
// let i128_name = format!("{}: i128", name);
// let i128_name_unique = format!("`{}` {}:{}", i128_name, span.line, span.start);
// let i128_option = option.map(|s| {
// s.parse::<i128>()
// .map_err(|_| IntegerError::invalid_integer(s, span.clone()))
// .unwrap()
// });
// let i128_result = Int128::alloc(cs.ns(|| i128_name_unique), || {
// i128_option.ok_or(SynthesisError::AssignmentMissing)
// })
// .map_err(|_| IntegerError::missing_integer(i128_name, span))?;
//
// Integer::I128(i128_result)
// }
// })
}
pub fn from_input<F: Field, CS: ConstraintSystem<F>>(
cs: &mut CS,
integer_type: IntegerType,
name: String,
integer_value: Option<InputValue>,
span: Span,
_cs: &mut CS,
_integer_type: IntegerType,
_name: String,
_integer_value: Option<InputValue>,
_span: Span,
) -> Result<Self, IntegerError> {
// Check that the input value is the correct type
let option = match integer_value {
Some(input) => {
if let InputValue::Integer(_type_, number) = input {
Some(number)
} else {
return Err(IntegerError::invalid_integer(input.to_string(), span));
}
}
None => None,
};
Self::allocate_type(cs, integer_type, name, option, span)
unimplemented!();
// // Check that the input value is the correct type
// let option = match integer_value {
// Some(input) => {
// if let InputValue::Integer(_type_, number) = input {
// Some(number)
// } else {
// return Err(IntegerError::invalid_integer(input.to_string(), span));
// }
// }
// None => None,
// };
//
// Self::allocate_type(cs, integer_type, name, option, span)
}
pub fn negate<F: Field + PrimeField, CS: ConstraintSystem<F>>(
self,
cs: &mut CS,
span: Span,
_cs: &mut CS,
_span: Span,
) -> Result<Self, IntegerError> {
let unique_namespace = format!("enforce -{} {}:{}", self, span.line, span.start);
let a = self;
let s = span.clone();
let result = match_signed_integer!(a, s => a.neg(cs.ns(|| unique_namespace)));
result.ok_or(IntegerError::negate_operation(span))
unimplemented!();
// let unique_namespace = format!("enforce -{} {}:{}", self, span.line, span.start);
//
// let a = self;
// let s = span.clone();
//
// let result = match_signed_integer!(a, s => a.neg(cs.ns(|| unique_namespace)));
//
// result.ok_or(IntegerError::negate_operation(span))
}
pub fn add<F: Field + PrimeField, CS: ConstraintSystem<F>>(
self,
cs: &mut CS,
other: Self,
span: Span,
_cs: &mut CS,
_other: Self,
_span: Span,
) -> Result<Self, IntegerError> {
let unique_namespace = format!("enforce {} + {} {}:{}", self, other, span.line, span.start);
let a = self;
let b = other;
let s = span.clone();
let result = match_integers_span!((a, b), s => a.add(cs.ns(|| unique_namespace), &b));
result.ok_or(IntegerError::binary_operation(format!("+"), span))
unimplemented!();
// let unique_namespace = format!("enforce {} + {} {}:{}", self, other, span.line, span.start);
//
// let a = self;
// let b = other;
// let s = span.clone();
//
// let result = match_integers_span!((a, b), s => a.add(cs.ns(|| unique_namespace), &b));
//
// result.ok_or(IntegerError::binary_operation(format!("+"), span))
}
pub fn sub<F: Field + PrimeField, CS: ConstraintSystem<F>>(
self,
cs: &mut CS,
other: Self,
span: Span,
_cs: &mut CS,
_other: Self,
_span: Span,
) -> Result<Self, IntegerError> {
let unique_namespace = format!("enforce {} - {} {}:{}", self, other, span.line, span.start);
let a = self;
let b = other;
let s = span.clone();
let result = match_integers_span!((a, b), s => a.sub(cs.ns(|| unique_namespace), &b));
result.ok_or(IntegerError::binary_operation(format!("-"), span))
unimplemented!();
// let unique_namespace = format!("enforce {} - {} {}:{}", self, other, span.line, span.start);
//
// let a = self;
// let b = other;
// let s = span.clone();
//
// let result = match_integers_span!((a, b), s => a.sub(cs.ns(|| unique_namespace), &b));
//
// result.ok_or(IntegerError::binary_operation(format!("-"), span))
}
pub fn mul<F: Field + PrimeField, CS: ConstraintSystem<F>>(
self,
cs: &mut CS,
other: Self,
span: Span,
_cs: &mut CS,
_other: Self,
_span: Span,
) -> Result<Self, IntegerError> {
let unique_namespace = format!("enforce {} * {} {}:{}", self, other, span.line, span.start);
let a = self;
let b = other;
let s = span.clone();
let result = match_integers_span!((a, b), s => a.mul(cs.ns(|| unique_namespace), &b));
result.ok_or(IntegerError::binary_operation(format!("*"), span))
unimplemented!();
// let unique_namespace = format!("enforce {} * {} {}:{}", self, other, span.line, span.start);
//
// let a = self;
// let b = other;
// let s = span.clone();
//
// let result = match_integers_span!((a, b), s => a.mul(cs.ns(|| unique_namespace), &b));
//
// result.ok_or(IntegerError::binary_operation(format!("*"), span))
}
pub fn div<F: Field + PrimeField, CS: ConstraintSystem<F>>(
self,
cs: &mut CS,
other: Self,
span: Span,
_cs: &mut CS,
_other: Self,
_span: Span,
) -> Result<Self, IntegerError> {
let unique_namespace = format!("enforce {} ÷ {} {}:{}", self, other, span.line, span.start);
let a = self;
let b = other;
let s = span.clone();
let result = match_integers_span!((a, b), s => a.div(cs.ns(|| unique_namespace), &b));
result.ok_or(IntegerError::binary_operation(format!("÷"), span))
unimplemented!();
// let unique_namespace = format!("enforce {} ÷ {} {}:{}", self, other, span.line, span.start);
//
// let a = self;
// let b = other;
// let s = span.clone();
//
// let result = match_integers_span!((a, b), s => a.div(cs.ns(|| unique_namespace), &b));
//
// result.ok_or(IntegerError::binary_operation(format!("÷"), span))
}
pub fn pow<F: Field + PrimeField, CS: ConstraintSystem<F>>(
self,
cs: &mut CS,
other: Self,
span: Span,
_cs: &mut CS,
_other: Self,
_span: Span,
) -> Result<Self, IntegerError> {
let unique_namespace = format!("enforce {} ** {} {}:{}", self, other, span.line, span.start);
let a = self;
let b = other;
let s = span.clone();
let result = match_integers_span!((a, b), s => a.pow(cs.ns(|| unique_namespace), &b));
result.ok_or(IntegerError::binary_operation(format!("**"), span))
unimplemented!();
// let unique_namespace = format!("enforce {} ** {} {}:{}", self, other, span.line, span.start);
//
// let a = self;
// let b = other;
// let s = span.clone();
//
// let result = match_integers_span!((a, b), s => a.pow(cs.ns(|| unique_namespace), &b));
//
// result.ok_or(IntegerError::binary_operation(format!("**"), span))
}
}
impl<F: Field + PrimeField> EvaluateEqGadget<F> for Integer {
fn evaluate_equal<CS: ConstraintSystem<F>>(&self, cs: CS, other: &Self) -> Result<Boolean, SynthesisError> {
let a = self;
let b = other;
let result = match_integers!((a, b) => a.evaluate_equal(cs, b));
result.ok_or(SynthesisError::Unsatisfiable)
fn evaluate_equal<CS: ConstraintSystem<F>>(&self, _cs: CS, _other: &Self) -> Result<Boolean, SynthesisError> {
unimplemented!();
// let a = self;
// let b = other;
//
// let result = match_integers!((a, b) => a.evaluate_equal(cs, b));
//
// result.ok_or(SynthesisError::Unsatisfiable)
}
}
impl<F: Field + PrimeField> EvaluateLtGadget<F> for Integer {
fn less_than<CS: ConstraintSystem<F>>(&self, cs: CS, other: &Self) -> Result<Boolean, SynthesisError> {
let a = self;
let b = other;
let result = match_integers!((a, b) => a.less_than(cs, b));
result.ok_or(SynthesisError::Unsatisfiable)
fn less_than<CS: ConstraintSystem<F>>(&self, _cs: CS, _other: &Self) -> Result<Boolean, SynthesisError> {
unimplemented!();
// let a = self;
// let b = other;
// let result = match_integers!((a, b) => a.less_than(cs, b));
//
// result.ok_or(SynthesisError::Unsatisfiable)
}
}
@ -476,47 +486,51 @@ impl<F: Field + PrimeField> EqGadget<F> for Integer {}
impl<F: Field + PrimeField> ConditionalEqGadget<F> for Integer {
fn conditional_enforce_equal<CS: ConstraintSystem<F>>(
&self,
cs: CS,
other: &Self,
condition: &Boolean,
_cs: CS,
_other: &Self,
_condition: &Boolean,
) -> Result<(), SynthesisError> {
let a = self;
let b = other;
let result = match_integers!((a, b) => a.conditional_enforce_equal(cs, b, condition));
result.ok_or(SynthesisError::Unsatisfiable)
unimplemented!();
// let a = self;
// let b = other;
//
// let result = match_integers!((a, b) => a.conditional_enforce_equal(cs, b, condition));
//
// result.ok_or(SynthesisError::Unsatisfiable)
}
fn cost() -> usize {
<UInt128 as ConditionalEqGadget<F>>::cost() // upper bound. change trait to increase accuracy
unimplemented!();
// <UInt128 as ConditionalEqGadget<F>>::cost() // upper bound. change trait to increase accuracy
}
}
impl<F: Field + PrimeField> CondSelectGadget<F> for Integer {
fn conditionally_select<CS: ConstraintSystem<F>>(
cs: CS,
cond: &Boolean,
first: &Self,
second: &Self,
_cs: CS,
_cond: &Boolean,
_first: &Self,
_second: &Self,
) -> Result<Self, SynthesisError> {
match (first, second) {
(Integer::U8(a), Integer::U8(b)) => Ok(Integer::U8(UInt8::conditionally_select(cs, cond, a, b)?)),
(Integer::U16(a), Integer::U16(b)) => Ok(Integer::U16(UInt16::conditionally_select(cs, cond, a, b)?)),
(Integer::U32(a), Integer::U32(b)) => Ok(Integer::U32(UInt32::conditionally_select(cs, cond, a, b)?)),
(Integer::U64(a), Integer::U64(b)) => Ok(Integer::U64(UInt64::conditionally_select(cs, cond, a, b)?)),
(Integer::U128(a), Integer::U128(b)) => Ok(Integer::U128(UInt128::conditionally_select(cs, cond, a, b)?)),
(Integer::I8(a), Integer::I8(b)) => Ok(Integer::I8(Int8::conditionally_select(cs, cond, a, b)?)),
(Integer::I16(a), Integer::I16(b)) => Ok(Integer::I16(Int16::conditionally_select(cs, cond, a, b)?)),
(Integer::I32(a), Integer::I32(b)) => Ok(Integer::I32(Int32::conditionally_select(cs, cond, a, b)?)),
(Integer::I64(a), Integer::I64(b)) => Ok(Integer::I64(Int64::conditionally_select(cs, cond, a, b)?)),
(Integer::I128(a), Integer::I128(b)) => Ok(Integer::I128(Int128::conditionally_select(cs, cond, a, b)?)),
(_, _) => Err(SynthesisError::Unsatisfiable), // types do not match
}
unimplemented!();
// match (first, second) {
// (Integer::U8(a), Integer::U8(b)) => Ok(Integer::U8(UInt8::conditionally_select(cs, cond, a, b)?)),
// (Integer::U16(a), Integer::U16(b)) => Ok(Integer::U16(UInt16::conditionally_select(cs, cond, a, b)?)),
// (Integer::U32(a), Integer::U32(b)) => Ok(Integer::U32(UInt32::conditionally_select(cs, cond, a, b)?)),
// (Integer::U64(a), Integer::U64(b)) => Ok(Integer::U64(UInt64::conditionally_select(cs, cond, a, b)?)),
// (Integer::U128(a), Integer::U128(b)) => Ok(Integer::U128(UInt128::conditionally_select(cs, cond, a, b)?)),
// (Integer::I8(a), Integer::I8(b)) => Ok(Integer::I8(Int8::conditionally_select(cs, cond, a, b)?)),
// (Integer::I16(a), Integer::I16(b)) => Ok(Integer::I16(Int16::conditionally_select(cs, cond, a, b)?)),
// (Integer::I32(a), Integer::I32(b)) => Ok(Integer::I32(Int32::conditionally_select(cs, cond, a, b)?)),
// (Integer::I64(a), Integer::I64(b)) => Ok(Integer::I64(Int64::conditionally_select(cs, cond, a, b)?)),
// (Integer::I128(a), Integer::I128(b)) => Ok(Integer::I128(Int128::conditionally_select(cs, cond, a, b)?)),
//
// (_, _) => Err(SynthesisError::Unsatisfiable), // types do not match
// }
}
fn cost() -> usize {
<UInt128 as CondSelectGadget<F>>::cost() // upper bound. change trait to increase accuracy
unimplemented!();
// <UInt128 as CondSelectGadget<F>>::cost() // upper bound. change trait to increase accuracy
}
}

4
compiler/src/value/integer/mod.rs
View File

@ -1,6 +1,6 @@
#[macro_use]
pub mod macros;
pub use self::macros::*;
// pub mod macros;
// pub use self::macros::*;
pub mod integer;
pub use self::integer::*;

2
compiler/tests/mod.rs
View File

@ -8,7 +8,7 @@ pub mod function;
pub mod group;
pub mod import;
pub mod input_files;
pub mod integers;
// pub mod integers;
pub mod macros;
pub mod mutability;
pub mod statements;

24
gadgets/src/bits/rca.rs
View File

@ -1,8 +1,8 @@
use crate::{bits::FullAdder, signed_integer::*};
use crate::bits::FullAdder;
use snarkos_errors::gadgets::SynthesisError;
use snarkos_models::{
curves::{Field, PrimeField},
curves::Field,
gadgets::{r1cs::ConstraintSystem, utilities::boolean::Boolean},
};
@ -34,14 +34,14 @@ impl<F: Field> RippleCarryAdder<F> for Vec<Boolean> {
}
}
macro_rules! rpc_impl {
($($gadget: ident)*) => ($(
impl<F: Field + PrimeField> RippleCarryAdder<F> for $gadget {
fn add_bits<CS: ConstraintSystem<F>>(&self, cs: CS, other: &Self) -> Result<Vec<Boolean>, SynthesisError> {
self.bits.add_bits(cs, &other.bits)
}
}
)*)
}
// macro_rules! rpc_impl {
// ($($gadget: ident)*) => ($(
// impl<F: Field + PrimeField> RippleCarryAdder<F> for $gadget {
// fn add_bits<CS: ConstraintSystem<F>>(&self, cs: CS, other: &Self) -> Result<Vec<Boolean>, SynthesisError> {
// self.bits.add_bits(cs, &other.bits)
// }
// }
// )*)
// }
rpc_impl!(Int8 Int16 Int32 Int64 Int128);
// rpc_impl!(Int8 Int16 Int32 Int64 Int128);

4
gadgets/src/lib.rs
View File

@ -7,5 +7,5 @@ pub mod bits;
pub mod errors;
pub mod signed_integer;
pub use self::signed_integer::*;
// pub mod signed_integer;
// pub use self::signed_integer::*;