Coder Social home page Coder Social logo

r1cs-zkinterface's Introduction

r1cs-zkinterface Crates.io docs.rs

This crate compiles Gadgets created using r1cs to the zkinterface format.

r1cs-zkinterface's People

Contributors

dlubarov avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar  avatar  avatar  avatar

r1cs-zkinterface's Issues

[Bug Report] unresolved import `zkinterface::writing`

Hi, r1cs-zkinterface is failed on cargo build with below error msg.

error msg

error[E0432]: unresolved import `zkinterface::writing`
 --> src/lib.rs:6:18
  |
6 | use zkinterface::writing::{CircuitOwned, VariablesOwned};
  |                  ^^^^^^^ could not find `writing` in `zkinterface`

error[E0432]: unresolved imports `zkinterface::zkinterface_generated::zkinterface::R1CSConstraints`, `zkinterface::zkinterface_generated::zkinterface::R1CSConstraintsArgs`
 --> src/lib.rs:7:108
  |
7 | ...tArgs, Message, R1CSConstraints, R1CSConstraintsArgs, Root, RootArgs, Variables, VariablesArgs, Witness, WitnessArgs};
  |                    ^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^ no `R1CSConstraintsArgs` in `zkinterface_generated::zkinterface`
  |                    |
  |                    no `R1CSConstraints` in `zkinterface_generated::zkinterface`

error[E0599]: no variant or associated item named `R1CSConstraints` found for enum `zkinterface::zkinterface_generated::zkinterface::Message` in the current scope
  --> src/lib.rs:46:32
   |
46 |         message_type: Message::R1CSConstraints,
   |                                ^^^^^^^^^^^^^^^ variant or associated item not found in `zkinterface::zkinterface_generated::zkinterface::Message`

error: aborting due to 3 previous errors

Some errors have detailed explanations: E0432, E0599.

And After modified cargo.toml with:

patch

zkinterface = {git="https://github.com/QED-it/zkinterface", tag="v1.0.6"}

It's works fine.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.