Skip to content

Issues: Orbis-Tertius/Orbis

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

47 Open 47 Closed
47 Open 47 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Benchmarks for our multivariate lookup help wanted Extra attention is needed research
#97 opened Nov 1, 2022 by ulrich-mlabs
1
Move off of haskell.nix
#96 opened Sep 6, 2022 by morganthomas
Rate limiting adding funds to Orbis
#95 opened Aug 15, 2022 by morganthomas
Pick a field size for FRI proofs
#94 opened Aug 12, 2022 by morganthomas
@moreSocratic @ulrich-mlabs
Implement a Merkle hash tree in Rust
#93 opened Aug 3, 2022 by morganthomas
1
Cross-check Haskell and Rust FRI / FRI-PCS implementations
#92 opened Aug 3, 2022 by morganthomas
1
Implement FRI in Rust
#91 opened Aug 3, 2022 by morganthomas
1
Write change of hash function recursive prover
#89 opened Jul 19, 2022 by morganthomas
Write a circuit friendly Halo 2 verifier
#88 opened Jul 19, 2022 by morganthomas
Write a polymorphic TinyRAM circuit
#87 opened Jul 19, 2022 by morganthomas
Support long TinyRAM executions
#86 opened Jul 19, 2022 by morganthomas
Write verified TinyRAM circuit in Coq
#85 opened Jul 19, 2022 by morganthomas
Support a TinyRAM primitive in Sigma^1_1 arithmetization
#84 opened Jul 19, 2022 by morganthomas
1
Write a Rust circuit code generator
#83 opened Jul 19, 2022 by morganthomas
1
Write a compiler from OSL to Sigma^1_1 formulas
#82 opened Jul 19, 2022 by morganthomas
Define Sigma^1_1 arithmetization with poly bounds
#81 opened Jul 19, 2022 by morganthomas
@morganthomas
Formalize Sigma^1_1 arithmetization
#80 opened Jul 19, 2022 by morganthomas
@AHartNtkn
Create recursive voting circuit
#79 opened Jul 19, 2022 by morganthomas
Create recursive Orbis rollup validation circuit
#78 opened Jul 19, 2022 by morganthomas
Create spec of extended TinyRAM ISA
#77 opened Jul 11, 2022 by morganthomas
@morganthomas @moreSocratic
2
Write up a proposal for Sigma^1_1 arithmetization with polynomial quantifier bounds and a more succinct circuit optimization research
#76 opened Jul 5, 2022 by morganthomas
What prevents a denial of service attack on the operations of moving funds to/from L1? research security
#75 opened Jul 1, 2022 by morganthomas
1
Create a CIP for Pasta curves optimization
#74 opened Jun 28, 2022 by morganthomas
1
Create a CIP for Ed25519 curves optimization
#73 opened Jun 28, 2022 by morganthomas
1
Port the FRI-PCS Halo 2 verifier to Haskell / Plutarch
#72 opened Jun 28, 2022 by morganthomas
ProTip! Exclude everything labeled bug with -label:bug.