Comments (4)
or, as an obnoxious one-liner,
ir_terms.into_iter()
.map(|(name, t)| (field_ty_list.search(&name).unwrap().0, t))
.collect::<BTreeMap<_,_>>()
.into_values()
.collect()
from circ.
I believe that this is sorting the terms by field order created by the FieldList
constructor. Perhaps it would be better to use https://doc.rust-lang.org/std/primitive.slice.html#method.sort_by_cached_key.
from circ.
The BTree is probably left over from some previous version of the code...
from circ.
Ah, no, I see. Me dumb.
The point is that using BTreeMap guarantees that with_indices.into_iter()
returns values in index order. I think it would also work to just say with_indices.into_values().collect()
on line 192, though.
Thanks for the confessional debugging :)
from circ.
Related Issues (20)
- Unable to reproduce sha256/shaRound constraints number HOT 4
- How to run on an example C program? HOT 1
- Errors in Setup/Proving/Verifying Phase HOT 1
- Circom intermediate representation HOT 1
- How to print out the result HOT 2
- Compile C code to R1CS HOT 3
- Suggestions to make getting started a bit easier
- Excessive(?) RAM usage on moderately sized linear transforms
- Supporting smtlib output? HOT 1
- How to compile circom to ꜱᴍᴛ ? HOT 5
- OOB array access semantics HOT 11
- IR tuple internal repr
- compile error HOT 3
- performance issues: linearity reduction for R1CS HOT 8
- PfToBv: only defined for field elms in 0,1? HOT 3
- SetDefaultModulus bug
- cfold: divide by zero semantics HOT 2
- compile C to R1CS HOT 4
- examples/C/r1cs/add.c apparently set up for MPC? HOT 10
- Incorrect version of ZoKrates in README HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
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.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from circ.