zeko-labs / zeko

Zeko: zk-Rollup for Mina, a succinct blockchain

https://zeko.io

zeko-labs/zeko Issues

Only shift actions when needed in sequencer
Updated 2 months ago
Fix actions
Closed 2 months ago2
Merge upstream
Updated 2 months ago
Support sum types in ppx_deriving_snarky
Updated 2 months ago
Remove Wrapper / Use transaction snark directly instead of wrapping
Updated 2 months ago
Make o1js fork? to prevent making invalid zkapps
Updated 2 months ago
Make generic wrapper for proofs
Updated 2 months ago
Reduce sequencer trust by supplying proof for GQL queries
Updated 2 months ago
Implement voting to force account updates
Updated 2 months ago1
Create Zeko token using current Mina token standard
Updated 2 months ago
Add overflow checks
Updated 2 months ago1
Remove imperativity by moving all assertions to the end
Updated 2 months ago3
Add check for account inexistence when making new account
Updated 2 months ago1
Delay withdrawals
Updated 2 months ago
Implement lower bound on slot precondition
Updated 2 months ago
Implement support for time/network preconditions
Updated 2 months ago2
Don't have private key in sequencer
Updated 2 months ago
Liberate fee payer account update outside of circuit
Updated 2 months ago
Allow user to force command through via action
Updated 3 months ago
Allow using actions as DA as back-up in case DA fails
Updated 3 months ago
Tests for custom token support
Closed 3 months ago
Add dependencies for archive relay to opam.export
Updated 3 months ago
Stake, and reward holders
Updated 3 months ago
Run own L1 archive node
Updated 3 months ago6
Allow witnessing arbitrary L1 state
Updated 3 months ago2
Persist state of sequencer using binprot, not json
Updated 3 months ago3
Allow deposits with only 1 commit
Updated 3 months ago2
Unify the payment and zkapp command logic in sequencer
Updated 3 months ago3
Commit shouldn't go to end of queue
Closed 3 months ago
Improve logging in sequencer
Updated 3 months ago
Consider making user help with proving
Updated 4 months ago
Zeko specific GQL API
Updated 4 months ago
Make deploy command redeploy if already deployed
Updated 4 months ago1
Make it possible to do multiple Inner.steps in one batch
Updated 5 months ago1
Share proofs for action state extension stuff
Closed 5 months ago
Don't always require an action state extension proof
Closed 5 months ago
Clean up ppx_deriving_snarky
Closed 5 months ago2
Setup CI
Updated 6 months ago
Test mode without proving
Updated 6 months ago
Make use of automatic splitting of circuits into multiple
Updated 6 months ago
Allow compiling txn snark circuit without Zeko-specific changes
Updated 6 months ago1
Ensure `receive = None` always on L2
Closed 6 months ago
Require proof of `receive = None` permission to withdraw
Closed 6 months ago
Allow submitting and processing more than one transfer in a single account update
Updated 6 months ago
Make macro to automatically label everything
Updated 7 months ago
Use `Prover_value` instead of `As_prover.Ref`
Updated 7 months ago
Re-bootstrap the sequencer *only* when the last commit got rolled back
Closed 8 months ago
Better mempool that prioritises by fee
Closed 9 months ago1
More comments/documentation
Updated 9 months ago
Transfer UI
Updated 9 months ago