sikoba / isekai Goto Github PK

Hello,
I tried to run isekai with simple example, which you described in your README.md in medium post (https://medium.com/sikoba-network/first-steps-with-isekai-on-windows-e9e5ab2c64d7).
So i tried to build docker and snark doesn't work, but the Bulletproof works.
Link to my repo: https://github.com/ddsvetlov/isekaii
There are test file zkex.c (same as in medium post)

#include "zkex.h"
void outsource(struct Input *input, struct NzikInput *nzik, struct Output *output)
{
output->x = input->d + nzik->a + 5 - nzik->b * 2;
}

zkex.h(same as in medium post)

#pragma once
struct Input {
int d;
};
struct NzikInput {
int a, b;
};
struct Output {
int x;
};
void outsource(struct Input *input, struct NzikInput *nzik, struct Output *output);

zkeh.c.in(same as in medium post)

11
5
17

Dockerfile you can find in repo.
So how to build and run project with SNARK without errors?
So command make test doesn't work too.

ZKInterface is a standardization interface that loosely connects R1CS frontends to backends. It seems Isekai is the perfect fit as a frontend for it. If an adapter would be written, Isekai would get backends like Bellman and Webassembly for free (as well as all future connections).

https://github.com/QED-it/zkinterface

isekai build crashes with SIGILL on Debian - works fine when changing OS to Ubuntu

Hello,

thanks for this great project! I did compile isekai dev branch and also isekai-1.0 release successful on XUbuntu 18.04.3 but "make test" is searching in wrong directories it seems (on both versions):

crystal spec
Showing last frame. Use --error-trace for full trace.

In spec/frontend_symbol_table_spec.cr:2:1

 2 | require "../src/frontend/storage.cr"
     ^
Error: can't find file '../src/frontend/storage.cr' relative to '/home/readme/Documents/isekai-1.0/spec'
Makefile:6: recipe for target 'test' failed
make: *** [test] Error 1

I then tried to compile libsnarc library like its described in README.md, but this also fails:

/home/readme/Documents/isekai/lib/libsnarc/src/cwrapper.cpp:8:10: fatal error: util.hpp: No such file or directory
 #include "util.hpp""
          ^~~~~~~~~~
compilation terminated.
CMakeFiles/snarc.dir/build.make:158: recipe for target 'CMakeFiles/snarc.dir/src/cwrapper.cpp.o' failed
make[2]: *** [CMakeFiles/snarc.dir/src/cwrapper.cpp.o] Error 1
CMakeFiles/Makefile2:67: recipe for target 'CMakeFiles/snarc.dir/all' failed
make[1]: *** [CMakeFiles/snarc.dir/all] Error 2
Makefile:83: recipe for target 'all' failed
make: *** [all] Error 2

I also checked the other github issues and tried running command
isekai --prove=proof_file r1cs_file --scheme=bctv14a

(enter) Call to r1cs_ppzksnark_generator   	[             ]	(1580638442.1317s x0.00 from start)
  (enter) Call to r1cs_constraint_system::swap_AB_if_beneficial	[             ]	(1580638442.1319s x0.00 from start)
    (enter) Estimate densities                 	[             ]	(1580638442.1319s x0.00 from start)
      * Non-zero A-count (estimate): 0
      * Non-zero B-count (estimate): 0
    (leave) Estimate densities                 	[0.0000s x1.03]	(1580638442.1319s x0.00 from start)
    Swap is not beneficial, not performing
  (leave) Call to r1cs_constraint_system::swap_AB_if_beneficial	[0.0001s x0.96]	(1580638442.1320s x0.00 from start)
  (enter) Call to r1cs_to_qap_instance_map_with_evaluation	[             ]	(1580638442.1320s x0.00 from start)
Unhandled exception: Failed to raise an exception: END_OF_STACK
[0x55ec9b3d9526] *CallStack::print_backtrace:Int32 +118
[0x55ec9b3b1ab6] __crystal_raise +86
[0x55ec9b45cca0] *IO::FileDescriptor +256
[0x55ec9b45d823] *IO::FileDescriptor +131
[0x55ec9b45d6e1] *IO::FileDescriptor +129
[0x55ec9b3e6ac2] *String#to_s<IO::FileDescriptor>:Nil +66
[0x55ec9b45db5e] *IO::FileDescriptor +78
[0x55ec9b45e334] *Exception+ +36
[0x55ec9b45c0b9] *AtExitHandlers::run<Int32>:Int32 +441
[0x55ec9b6ad8cb] *Crystal::main<Int32, Pointer(Pointer(UInt8))>:Int32 +139
[0x55ec9b3bc4c6] main +6
[0x7fadc76c9b97] __libc_start_main +231
[0x55ec9b3b07ba] _start +42
[0x0] ???

regards,

Hello
I'm interested in the library, but I can't pass "make test".
following message appears.

crystal spec
(enter) Call to r1cs_ppzksnark_generator [ ] (1554782986.1363s x0.00 from start)
(enter) Call to r1cs_constraint_system::swap_AB_if_beneficial [ ] (1554782986.1373s x0.00 from start)
(enter) Estimate densities [ ] (1554782986.1382s x0.00 from start)
* Non-zero A-count (estimate): 0
* Non-zero B-count (estimate): 0
(leave) Estimate densities [0.0015s x0.05] (1554782986.1397s x0.00 from start)
Swap is not beneficial, not performing
(leave) Call to r1cs_constraint_system::swap_AB_if_beneficial [0.0033s x0.05] (1554782986.1407s x0.00 from start)
(enter) Call to r1cs_to_qap_instance_map_with_evaluation [ ] (1554782986.1412s x0.00 from start)
E (enter) Parsing and Evaluating the circuit [ ] (1554782986.1423s x0.00 from start)
Unable to open circuit file simple_example.arith
Makefile:6: recipe for target 'test' failed
make: *** [test] Error 255

What should I do?