Discussions

• 1 You must be logged in to vote

  🙏

  General inquiry on dev status, o1vm, DSL, etc.

  ple1n asked Aug 14, 2025 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  How to start contributing

  paronikyanarmen asked Mar 7, 2025 in Q&A · Unanswered

  

  

  0
• 2 You must be logged in to vote

  🙏

  Benchmarking IVC circuit

  jprider63 asked Jul 31, 2024 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  💬

  RFC: The SnarkyType trait and derive macros

  mimoo started Mar 11, 2023 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  RFCs

  mimoo started Nov 21, 2022 in General

  

  

  1
• 1 You must be logged in to vote

  💬

  Wasm

  imikushin started Jan 28, 2023 in General

  

  

  1
• 1 You must be logged in to vote

  💡

  Optimise flag representation in Cairo gate

  no-issue-activity

  mrmr1993 started May 24, 2022 in Ideas

  

  

  1
• 1 You must be logged in to vote

  💬

  Publishing crates on crates.io

  trevor-crypto started Jan 19, 2023 in General

  

  

  4
• 1 You must be logged in to vote

  💡

  Introduce Absorb/Challenge traits

  rot256 started Jun 16, 2022 in Ideas

  

  

  2
• 1 You must be logged in to vote

  💬

  Commiting to polynomials in evaluation form

  mimoo started Dec 1, 2022 in General

  

  

  0
• 2 You must be logged in to vote

  💬

  RFC: feature flags in kimchi

  mimoo started Dec 16, 2022 in General

  

  

  0
• 2 You must be logged in to vote

  💡

  RFC 7: An ASM-like language for kimchi

  mimoo started Nov 21, 2022 in Ideas

  

  

  

  

  7
• 1 You must be logged in to vote

  💬

  Specification work stream

  mimoo started Nov 19, 2022 in General

  

  

  0
• 1 You must be logged in to vote

  💡

  Unify the Sponge types.

  rot256 started Jun 16, 2022 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  control flow in PLONK (if/else)

  mimoo started Sep 23, 2022 in Ideas

  

  

  7
• 2 You must be logged in to vote

  💡

  avoiding constraining the same things in snarky

  mimoo started Oct 13, 2022 in Ideas

  

  

  5
• 1 You must be logged in to vote

  💡

  optimization for lookup protocol

  mimoo started Oct 9, 2022 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  merging two proofs together

  mimoo started Sep 29, 2022 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  supporting larger circuits once a URS is fixed

  mimoo started Sep 29, 2022 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  Evaluate all polynomials

  mimoo started Sep 29, 2022 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  trimmedSRS optimization

  mimoo started Sep 23, 2022 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  zk-fy in circuit writer on constraint system?

  mimoo started Jun 16, 2022 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💬

  Enforcing evaluations

  mimoo started May 9, 2022 in General

  

  

  1
• 1 You must be logged in to vote

  💡

  Splitting the protocol into phases

  mimoo started May 9, 2022 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  Layout for a circuit

  mimoo started May 4, 2022 in Ideas

  

  

  0