Orbis-Tertius Orbis issues

Orbis-Tertius / Orbis

A general-purpose layer 2 zk-rollup scaling solution for Cardano

Apache License 2.0

21 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Benchmarks for our multivariate lookup

#97 ulrich-mlabs opened 2 years ago
1
Move off of haskell.nix

#96 morganthomas opened 2 years ago
0
Rate limiting adding funds to Orbis

#95 morganthomas opened 2 years ago
0
Pick a field size for FRI proofs

#94 morganthomas opened 2 years ago
0
Implement a Merkle hash tree in Rust

#93 morganthomas opened 2 years ago
1
Cross-check Haskell and Rust FRI / FRI-PCS implementations

#92 morganthomas opened 2 years ago
1
Implement FRI in Rust

#91 morganthomas opened 2 years ago
1
Coq TinyRAM emulator setting flag on mull instruction incorrectly

#90 marcinbugaj closed 2 years ago
2
Write change of hash function recursive prover

#89 morganthomas opened 2 years ago
0
Write a circuit friendly Halo 2 verifier

#88 morganthomas opened 2 years ago
0
Write a polymorphic TinyRAM circuit

#87 morganthomas opened 2 years ago
0
Support long TinyRAM executions

#86 morganthomas opened 2 years ago
0
Write verified TinyRAM circuit in Coq

#85 morganthomas opened 2 years ago
0
Support a TinyRAM primitive in Sigma^1_1 arithmetization

#84 morganthomas opened 2 years ago
1
Write a Rust circuit code generator

#83 morganthomas opened 2 years ago
1
Write a compiler from OSL to Sigma^1_1 formulas

#82 morganthomas opened 2 years ago
0
Define Sigma^1_1 arithmetization with poly bounds

#81 morganthomas opened 2 years ago
0
Formalize Sigma^1_1 arithmetization

#80 morganthomas opened 2 years ago
0
Create recursive voting circuit

#79 morganthomas opened 2 years ago
0
Create recursive Orbis rollup validation circuit

#78 morganthomas opened 2 years ago
0
Create spec of extended TinyRAM ISA

#77 morganthomas opened 2 years ago
2
Write up a proposal for Sigma^1_1 arithmetization with polynomial quantifier bounds and a more succinct circuit

#76 morganthomas opened 2 years ago
0
What prevents a denial of service attack on the operations of moving funds to/from L1?

#75 morganthomas opened 2 years ago
1
Create a CIP for Pasta curves

#74 morganthomas opened 2 years ago
1
Create a CIP for Ed25519 curves

#73 morganthomas opened 2 years ago
1
Port the FRI-PCS Halo 2 verifier to Haskell / Plutarch

#72 morganthomas opened 2 years ago
0
Integrate FRI-PCS into Halo 2

#71 morganthomas opened 2 years ago
1
Implement FRI-PCS in Rust

#70 morganthomas opened 2 years ago
1
Implement FRI in Rust

#68 morganthomas opened 2 years ago
0
Extend the Orbis whitepaper with a section about decentralization

#67 EncodePanda opened 2 years ago
0
Non-fixed lookups in Halo 2

#66 morganthomas opened 2 years ago
1
Implement Halo 2 proof verification in Plutus

#65 morganthomas opened 2 years ago
0
Make Orbis whitepaper buildable on OSX

#64 EncodePanda opened 2 years ago
1
Create an AND circuit

#63 morganthomas closed 2 years ago
0
Create a Halo 2 verifier primitive in Plutus Core

#62 morganthomas closed 2 years ago
2
Create an example of using Halo 2 lookup arguments

#61 morganthomas closed 2 years ago
2
Report on state of Rust testing infrastructure wrt Syd's checklist

#60 morganthomas closed 2 years ago
1
Banner image

#59 ryanmatovu closed 2 years ago
0
Write whitepaper

#58 morganthomas opened 2 years ago
0
Split this repo into multiple repos

#57 morganthomas closed 2 years ago
1
Figure out how to test vnTinyRAM programs

#56 morganthomas opened 2 years ago
1
Update project name

#55 morganthomas closed 2 years ago
0
Nix TinyCC

#54 morganthomas closed 2 years ago
0
Create an LLVM backend for vnTinyRAM

#53 morganthomas closed 2 years ago
1
Create a verified C to vnTinyRAM compiler

#52 morganthomas closed 2 years ago
1
Create a TinyCC backend for vnTinyRAM

#51 morganthomas closed 2 years ago
2
Implement trace function in RTS

#50 morganthomas closed 2 years ago
1
Implement string primitives in the RTS

#49 morganthomas closed 2 years ago
1
Implement cryptographic functions in the RTS

#48 morganthomas opened 2 years ago
0
Implement constants

#47 morganthomas closed 2 years ago
1