Issues
- 1
Clarify State Hash Derivation Process for Lambda
#1756 opened by MartinMinkov - 2
Clarify Proof Selection Algorithm for Lambda's AlignedLayer Implementation
#1755 opened by MartinMinkov - 3
Bytes type is not FlexibleProvable
#1761 opened by 45930 - 0
[Prototype] Implement Blake Hashing for Mina Consensus Selection in o1js Circuit
#1754 opened by MartinMinkov - 1
Add deadlock-safe batch reducer
#1692 opened by mitschabaude - 1
Check examples for vulnerabilities
#1640 opened by garwalsh - 3
- 0
Polish and release local zkapp test runner
#1732 opened by mitschabaude - 0
Expose `MAX_ACCOUNT_UPDATES` from `TokenContrac.ts`
#1730 opened by kantp - 1
Export `exists` from `provable/core`
#1734 opened by emlautarom1 - 3
Collection of DEVEX improvements
#1726 opened by Trivo25 - 3
- 2
Considering `ZkProgram` Interface
#1701 opened by harrysolovay - 1
Make proving optional for zkProgram
#1718 opened by garwalsh - 0
Migrate CI to new Mina + Lightnet branching strategy
#1706 opened by shimkiv - 0
Make `.get()` for onchain values async and non-lazy
#1721 opened by mitschabaude - 14
- 0
- 0
Enable private outputs for zkProgram
#1717 opened by garwalsh - 0
Investigate CI approach for example zkApps
#1714 opened by garwalsh - 0
Incorporate the "Continuous Releases" with pkg.pr.new
#1708 opened by shimkiv - 0
Make `MerkleMap` a tree of height 255, instead of 256, before next breaking release
#1702 opened by MartinMinkov - 1
Broken `ZkProgram` Examples
#1697 opened by harrysolovay - 2
compiling `merkle-zkapp` example
#1696 opened by Pfed-prog - 0
Improve DevX for ethereum signatures
#1693 opened by 45930 - 3
Support feature flags for side-loaded keys
#1686 opened by mitschabaude - 0
Soft changelog (file CHANGELOG.md) gating on PR level to remind about its absence.
#1691 opened by shimkiv - 0
Create release PR only if the changelog between the latest release and the current state is not empty.
#1690 opened by shimkiv - 0
Error using offchain state from factory contract
#1684 opened by mitschabaude - 0
docs: In the example for Field.inv() the variable `someField` has to be used instead of the non-existent variable `example`
#1664 opened by nickfreeman-de - 4
Advanced smart contract testing framework
#1677 opened by Trivo25 - 0
- 0
[Mina-Signer] Support for secure box json keystore
#1673 opened by shimkiv - 5
Types function inconsistency
#1663 opened by aii23 - 0
Get rid of `mina/o1js-main`
#1627 opened by mitschabaude - 0
Proper handling of `Struct.empty()` when one of the base types doesn't have `empty()`
#1656 opened by mitschabaude - 1
Finish offchain storage implementation
#1641 opened by mitschabaude - 1
Offchain storage implementation
#1642 opened by mitschabaude - 1
Offchain state API design
#1635 opened by mitschabaude - 1
Recursive Merkle update actions reducer
#1631 opened by mitschabaude - 0
- 0
Difference between constants/variables/provable code/JS native code/when to use what
#1647 opened by garwalsh - 0
How to write circuits and how provable code works
#1645 opened by garwalsh - 1
List of common pitfalls for TS devs
#1646 opened by garwalsh - 2
How do circuits actually work? Why are some things more efficient than others?
#1648 opened by garwalsh - 0
Add "deploying to mainnet" to how to deploy"
#1650 opened by garwalsh - 0
Async version of `asProver()`
#1644 opened by mitschabaude - 2
- 0
Side loading verification keys give "proof.verify() not called, call it at least once in your circuit" error in SmartContract
#1632 opened by dfstio - 2