Comments (7)
Proving works 🎉 I'll devote another morning to see if I can get pickles verifying to work in JS as well, because that would be a nice sanity check. (Verifying already works for non-recursive proofs, so we shouldn't be too far off)
from o1js.
Verify works as well now 🎉
The only remaining TODO is to fix the regressions that come up when merging develop in the branch where it works (MinaProtocol/mina#10267)
from o1js.
As snarkyjs is being merged in a version where everything works and is tested in CI, this can be closed :)
from o1js.
Matt fixed the proving bug, and proving works for the low-level Circuit
interface now.
However, this isn't quite done, because recursive pickles proofs don't work yet (which are the ones we need for snapps). The issue is that they get returned as a Deferred
, but deferred's never actually finish in JS, because there is no "scheduler" for them. I'm trying to solve that now.
from o1js.
Pushed a branch which seems to solve the problem described above: https://github.com/MinaProtocol/mina/tree/feature/snarkyjs-pickles-proof
This makes a fairly wide-reaching change to the code base, and still has to be consolidated with develop
However, a new issue turned up - a missing implementation of Kimchi.Oracles.create
in the Wasm version
from o1js.
Set up this PR to fix the async prover issue: MinaProtocol/mina#10454
from o1js.
Multiple Wasm / bindings issues are fixed, and the proof seems to work - there's only an issue with asyncness left, where the proof is computed, but the promise that should hold it resolves early with a value of undefined
from o1js.
Related Issues (20)
- Custom token transfers don't work based on the order of account updates. HOT 2
- Add ZkProgram.Optimistic to allow for deferred recursive proof calculations HOT 2
- Check examples for vulnerabilities
- Finish offchain storage implementation HOT 1
- Offchain storage implementation HOT 1
- Async version of `asProver()`
- How to write circuits and how provable code works
- List of common pitfalls for TS devs HOT 1
- Difference between constants/variables/provable code/JS native code/when to use what
- How do circuits actually work? Why are some things more efficient than others? HOT 2
- Cross contract calls/interoperability/composability in general
- Add "deploying to mainnet" to how to deploy"
- TypeError: workersReadyResolve is not a function error while compiling HOT 2
- Indexed Merkle tree to improve offchain state efficiency HOT 8
- Proper handling of `Struct.empty()` when one of the base types doesn't have `empty()`
- Types function inconsistency HOT 5
- docs: In the example for Field.inv() the variable `someField` has to be used instead of the non-existent variable `example`
- [Mina-Signer] Support for secure box json keystore
- Allow non-pure provable types as inputs/outputs in zkprogram
- Advanced smart contract testing framework HOT 4
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 o1js.