12 Commits (39bb71678591922f2ff0aeda66fdd4e578b09d64)

Author SHA1 Message Date
  Ehud Ben-Reuven 39bb716785 fixed Multiplexer name and usage of old syntax 5 years ago
  Jordi Baylina 0639963bea
Small patches 5 years ago
  Jordi Baylina 9cab539698
Substractor 6 years ago
  Jordi Baylina 6ea1ea718a
BabyJub Optimization 6 years ago
  Jordi Baylina 37edfc1834
Change bases and IV 6 years ago
  Jordi Baylina 6d6558370f
Sparse Merkle tree working 6 years ago
  Jordi Baylina 09f36d1e4d
Verification not working 6 years ago
  Jordi Baylina e02fd5edf8
SMT Update 6 years ago
  Jordi Baylina e636a4ac83
Simplify and working test 6 years ago
  Jordi Baylina ccaa7ff23b
working with some errors yet 6 years ago
  Jordi Baylina 38fc4b7396
First Version SMT 6 years ago
  Jordi Baylina 2d43178c8d
Merge other basic circuits here 6 years ago