darkrenaissance/darkfi

Autor	SHA1 Mensagem	Data
ada	181ef6cf10 ordered enforce	há 5 anos atrás
ada	45b407b09c inverse proof for new-cs	há 5 anos atrás
ada	8e06b5c00f prove without refactor	há 5 anos atrás
ada	32746d0748 adding verify on lisp	há 5 anos atrás
ada	282f0c87d6 added prove	há 5 anos atrás
ada	00ec659416 major fix on scalar add and alloc returns	há 5 anos atrás
ada	4a8b4b4b95 syntethize circuit	há 5 anos atrás
ada	b09adcd438 start adding the groth16 constraint circuit and setup method	há 5 anos atrás