Issues
- 2
Examples section is missing
#162 opened by microbecode - 2
- 2
create a test for snarkjs
#83 opened by mimoo - 3
Document Bigint to figure out if we can remove it
#151 opened by mimoo - 2
document how match_expected is different from same_as
#166 opened by mimoo - 3
constant-size arrays
#143 opened by mimoo - 0
- 10
Build an online playground for noname
#141 opened by lognorman20 - 0
Enhance R1CS debug info
#75 opened by katat - 0
handle modules better
#157 opened by mimoo - 0
introduce array.len() and array[-1]
#156 opened by mimoo - 9
Can't use same for loop var
#150 opened by katat - 0
allow declaring builtins in noname instead of in the compiler (instead of hardcoding)
#155 opened by mimoo - 0
custom and boolean public outputs
#145 opened by finiteprods - 2
Improve debugging for gadget + fix that trace
#148 opened by mimoo - 2
- 0
better doc on `VarOrRef`
#144 opened by mimoo - 9
update to arkworks 0.4.0
#138 opened by mimoo - 0
start a gitbook to explain the language to developers
#139 opened by mimoo - 1
implement proving/verifying of R1CS using arkworks
#135 opened by mimoo - 2
Feat: Create grammar file in BNF format
#127 opened by vuvoth - 1
Array as public output
#130 opened by dmpierre - 3
be clearer on mutability
#134 opened by mimoo - 2
Support not equal operator in noname
#113 opened by vuvoth - 0
UX: making ranges non-confusing
#133 opened by mimoo - 0
support iterators by default
#132 opened by mimoo - 0
Display public input in kimchi and R1CS ASM
#65 opened by mimoo - 0
enum and sum types
#129 opened by mimoo - 1
- 0
clippy: sort out `large_enum_variant` lint
#126 opened by eightfilms - 1
noname cli: read input/output JSON from file
#92 opened by vuvoth - 0
Hex literals don't work
#121 opened by MartinOndejka - 1
add more resources to README
#123 opened by mimoo - 2
investigate integrating with sonobe
#117 opened by mimoo - 1
investigate integrating with Circ/circify
#116 opened by mimoo - 1
properly handle errors in r1cs backend
#102 opened by eightfilms - 0
improve debugging of simple arithmetic.no example
#114 opened by mimoo - 0
sort out type complexity
#103 opened by eightfilms - 0
sort out unused variables
#101 opened by eightfilms - 2
Use Insta for test noname parser and analyzer
#88 opened by vuvoth - 2
poseidon in R1CS?
#66 opened by mimoo - 2
Deprecate the use of Value::Hint in kimchi poseidon
#76 opened by katat - 0
reorder processing of public inputs/outputs so that they are always before private inputs (important for r1cs)
#70 opened by mimoo - 0
- 0
automate binary releases for noname
#81 opened by mimoo - 1
- 1
warn on unconstrained values
#72 opened by mimoo - 0
fix error when private input is unused
#71 opened by mimoo - 0
Convenient function to init type checker
#67 opened by katat - 2
wrong gate for public output in double generic mode
#61 opened by katat