Data

Tools

Indexes

Applications

Experiments

Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / scroll-tech/ceno issues and pull requests

#985 - debug: not pop last round value

Pull Request - State: open - Opened by hero78119 17 days ago

#984 - Chore: field access adjustment

Pull Request - State: closed - Opened by kunxian-xia 17 days ago

#974 - Feat: simplify basefold's verifier

Pull Request - State: closed - Opened by kunxian-xia about 1 month ago
Labels: mpcs

#955 - add keccak no syscall version

Pull Request - State: closed - Opened by hero78119 2 months ago

#953 - switch to babybear by default(ceno and ceno-gpu)

Issue - State: open - Opened by lispc 2 months ago

#952 - WIP refactor #799

Pull Request - State: open - Opened by hero78119 2 months ago

#951 - sync up master with #942

Pull Request - State: closed - Opened by hero78119 3 months ago

#950 - support u64 cycle

Pull Request - State: closed - Opened by hero78119 3 months ago - 1 comment

#949 - end_cycle could exceeds u32::MAX

Issue - State: closed - Opened by lightsing 3 months ago
Labels: bug

#948 - refactor with eq benchmark

Pull Request - State: open - Opened by hero78119 3 months ago

#947 - Explore building eq using naive method

Pull Request - State: closed - Opened by kilic 3 months ago - 3 comments

#946 - add jemallocator as optional global allocator

Pull Request - State: open - Opened by hero78119 3 months ago

#945 - feat: separate e2e artifacts

Pull Request - State: closed - Opened by lightsing 3 months ago

#944 - fix: find the correct target when using cargo workspace

Pull Request - State: closed - Opened by lightsing 3 months ago - 1 comment

#943 - support debug mode in cargo cli run

Pull Request - State: closed - Opened by hero78119 3 months ago

#942 - feat: unify opcode and table proof generation

Pull Request - State: closed - Opened by kunxian-xia 3 months ago

#941 - sync up #799 with master

Pull Request - State: closed - Opened by hero78119 3 months ago

#940 - simplify mle and cleanup

Pull Request - State: closed - Opened by hero78119 3 months ago - 1 comment

#939 - [WIP] zero check optimisation

Pull Request - State: closed - Opened by hero78119 3 months ago

#938 - Optimize keccak circuit

Pull Request - State: closed - Opened by dreamATD 3 months ago

#937 - support build virtual polynomials in expression style

Pull Request - State: closed - Opened by hero78119 3 months ago

#936 - support build virtual polynomials in expression style

Issue - State: closed - Opened by hero78119 3 months ago

#935 - refactor expression to right place.

Pull Request - State: closed - Opened by hero78119 3 months ago

#934 - more enhancement of sumcheck protocol

Issue - State: open - Opened by hero78119 3 months ago

#933 - reserve space for row-major-matrix blowup factor

Pull Request - State: closed - Opened by hero78119 3 months ago

#932 - [EXPERIMENT] experiment 4-1 logup/product arguments

Pull Request - State: open - Opened by hero78119 3 months ago

#931 - feat: reduce #(MLEs) involved in the selector stage sumcheck

Pull Request - State: closed - Opened by kunxian-xia 3 months ago

#930 - feat: add flag to enable simd

Pull Request - State: closed - Opened by lightsing 3 months ago - 1 comment

#929 - support guest program "println!" in e2e flow

Pull Request - State: closed - Opened by hero78119 3 months ago - 1 comment

#927 - inst count and cleanup sp1 platform

Pull Request - State: closed - Opened by hero78119 3 months ago

#926 - feat(recursion): changes needed for recursion by Ray

Pull Request - State: open - Opened by lispc 3 months ago

#925 - output num instructions executed

Pull Request - State: closed - Opened by hero78119 3 months ago

#924 - feat: no need to generate witness when run

Pull Request - State: closed - Opened by lightsing 3 months ago

#923 - feat: unify cpu / gpu provers under same framework

Pull Request - State: open - Opened by kunxian-xia 3 months ago

#922 - feat(basefold): avoid storing twiddles on verifier side

Pull Request - State: closed - Opened by kunxian-xia 3 months ago

#921 - fix: temporary skip verify

Pull Request - State: closed - Opened by lightsing 3 months ago

#920 - infer tower with parallel allocation

Pull Request - State: closed - Opened by hero78119 3 months ago

#919 - avoid get_vk which is very slow

Pull Request - State: closed - Opened by hero78119 3 months ago

#918 - feat: pcs and field selection

Pull Request - State: closed - Opened by lightsing 3 months ago

#917 - e2e static dispatch with args

Pull Request - State: closed - Opened by hero78119 3 months ago - 1 comment

#916 - Add binary exec to generate test vectors for verifier

Pull Request - State: open - Opened by yczhangsjtu 3 months ago

#915 - Test WHIR with babybear

Pull Request - State: closed - Opened by yczhangsjtu 3 months ago

#914 - mpcs add proof-of-work grinding

Pull Request - State: closed - Opened by hero78119 3 months ago

#913 - fix: fs::canonicalize return Err when nx

Pull Request - State: closed - Opened by lightsing 3 months ago

#912 - instrument exactly poseidon permutation count in verifier

Pull Request - State: closed - Opened by hero78119 3 months ago

#911 - feat: add option of max_num_variables

Pull Request - State: closed - Opened by lightsing 3 months ago

#910 - MPCS grinding

Issue - State: closed - Opened by hero78119 3 months ago

#909 - fix: ceno-cli profile and platform validation

Pull Request - State: closed - Opened by lightsing 4 months ago - 1 comment

#908 - Fix table proof failed if there is only single instance

Pull Request - State: closed - Opened by hero78119 4 months ago - 1 comment

#907 - clean up ark-xx dependency

Pull Request - State: closed - Opened by hero78119 4 months ago

#906 - make table proof works when instance = 1

Issue - State: closed - Opened by hero78119 4 months ago
Labels: bug, enhancement

#905 - [Experiment] ceno + babybear

Pull Request - State: open - Opened by hero78119 4 months ago

#903 - benchmarks for Milestone May

Issue - State: closed - Opened by lispc 4 months ago - 1 comment

#902 - feat: cargo ceno

Pull Request - State: closed - Opened by lightsing 4 months ago - 1 comment

#901 - control `num_instances` in one place to improve soundness check

Pull Request - State: closed - Opened by hero78119 4 months ago - 1 comment

#900 - refactor: cargo ceno phase1

Pull Request - State: closed - Opened by lightsing 4 months ago

#899 - simplify design without transcript fork

Pull Request - State: closed - Opened by hero78119 4 months ago - 1 comment

#898 - fix ci cache typo

Pull Request - State: closed - Opened by hero78119 4 months ago

#897 - mpcs parallel feature refactor

Pull Request - State: closed - Opened by hero78119 4 months ago

#896 - fix: conditional variable definition in `num_threads`

Pull Request - State: closed - Opened by mdqst 4 months ago - 1 comment

#894 - mpcs e2e batch in one proof

Pull Request - State: closed - Opened by hero78119 4 months ago - 2 comments
Labels: enhancement, mpcs

#893 - `keccakf` precompile + GKR-IOP integration

Pull Request - State: closed - Opened by mcalancea 4 months ago

#892 - fix dependency chain of var.rs error

Pull Request - State: closed - Opened by hero78119 4 months ago

#891 - unify basefold sumcheck with ceno

Pull Request - State: closed - Opened by hero78119 4 months ago
Labels: mpcs, optimization

#890 - [WHIR re-sync] resolve merge squeeze cause merge conflict

Pull Request - State: closed - Opened by hero78119 4 months ago

#889 - non uniform heap/stack

Pull Request - State: closed - Opened by hero78119 4 months ago

#888 - [WHIR] chore: cosmetics

Pull Request - State: closed - Opened by hero78119 4 months ago

#887 - remove unused example

Pull Request - State: closed - Opened by hero78119 4 months ago

#886 - [WHIR] sync with master change

Pull Request - State: closed - Opened by hero78119 4 months ago

#883 - Ceno BaseVM soundness & audit

Issue - State: open - Opened by hero78119 4 months ago - 2 comments

#882 - (maybe bug): rename nimue to spongefish

Issue - State: closed - Opened by sdwoodbury 4 months ago - 2 comments

#881 - support public io/hint in guest program

Pull Request - State: closed - Opened by hero78119 4 months ago - 3 comments

#880 - sync upstream p3 fix of aarch64

Pull Request - State: closed - Opened by hero78119 4 months ago - 1 comment

#878 - implement public-io in SDK to serve guest program

Issue - State: closed - Opened by hero78119 4 months ago

#877 - feat: add serde/deserde to vk and proof

Pull Request - State: closed - Opened by lispc 4 months ago

#876 - feat: ceno cli

Issue - State: closed - Opened by lispc 4 months ago - 3 comments

#875 - field agnostic refactor (part 1)

Pull Request - State: closed - Opened by hero78119 4 months ago

#874 - add keccak_f precompiles & utilities

Pull Request - State: open - Opened by mcalancea 4 months ago

#873 - [Experiment] ceno + babybear

Pull Request - State: closed - Opened by hero78119 4 months ago - 2 comments

#872 - by circuit proof size breakdown

Pull Request - State: closed - Opened by hero78119 4 months ago

#871 - Issue632

Pull Request - State: closed - Opened by SamarthJ2004 4 months ago - 1 comment

#870 - batched sumcheck suffix alignment

Pull Request - State: closed - Opened by hero78119 4 months ago

#869 - [WHIR] sync with master and resolve conflict

Pull Request - State: closed - Opened by hero78119 4 months ago

#868 - refactor sumcheck boilerplate code by fix_var

Pull Request - State: closed - Opened by hero78119 4 months ago - 1 comment

#866 - sync master change back to whir

Pull Request - State: closed - Opened by hero78119 5 months ago

#865 - clean up clippy "allowed-duplicate-crates"

Issue - State: open - Opened by hero78119 5 months ago
Labels: dependencies

#864 - Batched commitment of polys with different sizes on mpcs layer

Pull Request - State: open - Opened by Jiangkm3 5 months ago - 5 comments
Labels: mpcs, optimization

#863 - RowMajorMatrix padding

Pull Request - State: closed - Opened by hero78119 5 months ago

#861 - Use plonky3 `maybe-rayon` crate for optional parallelism mode

Issue - State: open - Opened by hero78119 5 months ago - 2 comments
Labels: good first issue, debugging tool

#860 - WHIR merge with new mpcs api #842

Pull Request - State: closed - Opened by hero78119 5 months ago

#859 - better management of plonky3 dependency

Pull Request - State: closed - Opened by hero78119 5 months ago