mrmr1993
Follow
mrmr1993
Follow
Highlights
- 1 discussion answered
Popular repositories
-
-
-
-
-
vindinium-starter-haskell Public
Forked from Herzult/vindinium-starter-haskell
Haskell starter for http://vindinium.org
Haskell
2,512 contributions in the last year
Activity overview
Contribution activity
June 2022
Created 117 commits in 3 repositories
Created a pull request in MinaProtocol/mina that received 3 comments
Enable whole_program compilation for SnarkyJS
This PR tinkers with some dune flags to allow us to compile SnarkyJS in whole_program mode. This reduces the size of snarky_js_node.bc.js to 5.1 MB.
…
+28
−9
•
3
comments
Opened 14 other pull requests in 3 repositories
MinaProtocol/mina
10
merged
1
open
- Use exit code 20 for integration test node initialization failures
- Use exit code 20 for integration test node initialization failures
- [Develop] Minimize transaction replacement fee
- Minimize transaction replacement fee
- Fix incorrect default flag value
- Merge back to develop
- Change codeowner for pickles{,_types,_base} from protocol to crypto
- Bump proof systems
- Log snark work in zkapps integration test
- Use different exit codes for different integration test failures
- Merge back to develop
o1-labs/snarky
2
merged
o1-labs/proof-systems
1
merged
Reviewed 46 pull requests in 4 repositories
MinaProtocol/mina
25 pull requests
- Fix for building procedure on macOS
- Use exit code 20 for integration test node initialization failures
- Use exit code 20 for integration test node initialization failures
- Expose circuit digest to SnarkyJS via hacky early return
-
Fix for
unknown flag -ccopt=ocamllsp - Revert "Bite the bullet and just compile libwires_15_stubs.so.."
- More tokens tests in zkApps integration test
- zkApps integration tests w/ large numbers
- [Nix] package snarkyjs, client_sdk, mina-signer
-
Bump snarky for versioned snarkette field
bin_shape_t - Fix nix build on macOS Big Sur
- Remove some submodules in favour of opam pins
- Adapting bindings for proof serialization
- Nix-based CI
- Nix CI (develop)
- More tokens tests in transaction snark
- Fast zkapp proofs with max_proofs_verified=0
-
Merge
compatibletodevelop - Token integration test
- Better intg test exit codes dev
- Better intg test exit codes
- Dynamic lagrange commitment selection
- Use upstream graphql_ppx, upgrade ppxlib (DEVELOP)
- Log snark work in zkapps integration test
- Bump proof systems
- Some pull request reviews not shown.
o1-labs/proof-systems
14 pull requests
- [WIP][kimchi] absorb verifier index + recursion data
-
[easy] Add
RecursionChallengetype forProverProof - [easy][commitment] introduce BlindedCommitment struct
- [easy] remove ScalarField and BaseField helpers
- Make the proof serialisable
- [snarky-rs] add Sys to Var
- [specs] added spec for URS
- use oncecell on w, zkpm and srs
- Use explicitly-labelled lookup selectors
-
Move
runtime_tables,runtime_table_offsetintoLookupConstraintSystem - Compute unnormalized lagrange basis in a faster way
- [WIP][gates][range] add lookups
- Refactors using explicit lookup patterns
- [easy] Builder for setup