Inicio Explorar Ayuda
Iniciar sesión
darkrenaissance
/
darkfi
2
0
Fork 0
Archivos Incidencias 0 Pull Requests 0 Wiki
Árbol: af4dccbdec
Ramas Etiquetas

Historial de Commits

Autor SHA1 Mensaje Fecha
  ada 181ef6cf10 ordered enforce hace 5 años
  ada 45b407b09c inverse proof for new-cs hace 5 años
  ada 8e06b5c00f prove without refactor hace 5 años
  ada 32746d0748 adding verify on lisp hace 5 años
  ada 282f0c87d6 added prove hace 5 años
  ada 00ec659416 major fix on scalar add and alloc returns hace 5 años
  ada 4a8b4b4b95 syntethize circuit hace 5 años
  ada b09adcd438 start adding the groth16 constraint circuit and setup method hace 5 años