sikoba / isekai Goto Github PK
View Code? Open in Web Editor NEWIsekai verifiable computation project
License: MIT License
Isekai verifiable computation project
License: MIT License
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).
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?
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.