- 👋 Hi, I’m @kunxian-xia, a crypto engineer interested in verifiable computation like SNARK.
- Currently, I'm working on a layer2 solution called Scroll.
🎯
Focusing
-
Scroll
- China
Pinned Loading
-
scroll-tech/zkevm-circuits
scroll-tech/zkevm-circuits Public archiveForked from privacy-scaling-explorations/zkevm-circuits
-
scroll-tech/ceno
scroll-tech/ceno PublicAccelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
-
-
-
390 contributions in the last year
Skip to contributions year listDay of Week | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | April Apr | May May | June Jun | |||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Contribution activity
June 2025
Created 7 commits in 2 repositories
Opened 14 pull requests in 2 repositories
scroll-tech/ceno-recursion-verifier
2
open
11
merged
-
Fix: batch opening
This contribution was made on Jun 24
-
Feat: add
lint & test
workflows for CIThis contribution was made on Jun 23 -
Feat: unify p3 in ceno and openvm
This contribution was made on Jun 23
-
Format the codebase
This contribution was made on Jun 19
-
Feat: optimize
extrapolate_uni_poly
This contribution was made on Jun 19 -
Feat: combine multiple loops into one in sumcheck verifier
This contribution was made on Jun 19
-
Feat: compute
is_smaller_than
incrementallyThis contribution was made on Jun 17 -
Feat: compute powers of
alpha
on the flyThis contribution was made on Jun 16 -
Feat: extend array
rt
byrt_merge
This contribution was made on Jun 16 -
feat: dot product when one vector's size is known
This contribution was made on Jun 16
-
Feat: improve tower verifier
This contribution was made on Jun 11
-
feat: enable new
sample_ext
implementationThis contribution was made on Jun 11 -
Feat: add unit test for sumcheck verifier to report cycle usage
This contribution was made on Jun 11
scroll-tech/ceno
1
merged
-
Chore: bump up plonky3 dependency
This contribution was made on Jun 20
Reviewed 11 pull requests in 3 repositories
scroll-tech/ceno-recursion-verifier
6 pull requests
-
Add the basefold recursive verifier.
This contribution was made on Jun 25
-
Fix: batch opening
This contribution was made on Jun 25
-
Feat: compute
is_smaller_than
incrementallyThis contribution was made on Jun 18 -
[Feat] Add Inline Unipolynomial Extrapolation
This contribution was made on Jun 17
-
Feat: compute powers of
alpha
on the flyThis contribution was made on Jun 16 -
[Feat] Use New Native
Poseidon2Opcode::MULTI_OBSERVE
This contribution was made on Jun 12
scroll-tech/openvm
3 pull requests
-
[Feat] Native Multiple Observe for Poseidon2-based Challenger
This contribution was made on Jun 12
-
Feat: log cycle count from cycle tracker
This contribution was made on Jun 11
-
scroll-dev: ceno-recursion-verifier
This contribution was made on Jun 10
scroll-tech/ceno
2 pull requests
-
field agnostic refactor (part 1)
This contribution was made on Jun 20
-
feat: unify cpu / gpu provers under same framework
This contribution was made on Jun 10
Opened 4 issues in 1 repository
scroll-tech/ceno-recursion-verifier
2
open
2
closed
-
set up CI
This contribution was made on Jun 19
-
modify memory layout of spec_evals in the tower proof
This contribution was made on Jun 18
-
avoid
gen_alpha_pows
This contribution was made on Jun 16 -
optimize tower verifier
This contribution was made on Jun 16