Skip to content
@Polytopoi

Polytopoi

Popular repositories Loading

  1. osl osl Public

    Forked from Orbis-Tertius/osl

    A spec language for zero knowledge proofs

    Haskell 2 1

  2. Coq-Arithmetization Coq-Arithmetization Public

    Forked from Orbis-Tertius/Coq-Arithmetization

    Coq formalization of Sigma^1_1 arithmetization (WIP)

    Coq

  3. sydtest-large-diffs sydtest-large-diffs Public

    An example illustrating an issue with sydtest (https://github.com/NorfairKing/sydtest)

    Nix

  4. Isabelle-Arithmetization Isabelle-Arithmetization Public

    Formalization of Sigma11 and related in Isabelle/HOL

    Isabelle

  5. horizon-sydtest horizon-sydtest Public

    Illustrates that Sydtest does not pass its tests in a particular version of Horizon

    Nix

  6. marlowe-cardano marlowe-cardano Public

    Forked from marlowe-lang/marlowe-cardano

    Marlowe smart contract language Cardano implementation

    Haskell

Repositories

Showing 10 of 15 repositories
  • osl Public Forked from Orbis-Tertius/osl

    A spec language for zero knowledge proofs

    Polytopoi/osl’s past year of commit activity
    Haskell 2 Apache-2.0 2 0 1 Updated Sep 10, 2023
  • halo2 Public Forked from zcash/halo2
    Polytopoi/halo2’s past year of commit activity
    Rust 0 531 0 0 Updated Jun 16, 2023
  • osl-update Public
    Polytopoi/osl-update’s past year of commit activity
    TeX 0 0 0 0 Updated May 11, 2023
  • zk-Harness Public Forked from zkCollective/zk-Harness

    Benchmarking framework for general purpose zero-knowledge proofs languages and libraries

    Polytopoi/zk-Harness’s past year of commit activity
    Go 0 MIT 18 0 0 Updated Apr 25, 2023
  • circom Public Forked from iden3/circom

    zkSnark circuit compiler

    Polytopoi/circom’s past year of commit activity
    Rust 0 GPL-3.0 305 0 0 Updated Mar 21, 2023
  • zk-actus-proposal Public
    Polytopoi/zk-actus-proposal’s past year of commit activity
    TeX 0 0 0 0 Updated Mar 9, 2023
  • gnark Public Forked from Consensys/gnark

    gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

    Polytopoi/gnark’s past year of commit activity
    Go 0 Apache-2.0 438 0 0 Updated Mar 7, 2023
  • halo2-example Public Forked from Orbis-Tertius/halo2-example

    A Nix Halo2 example

    Polytopoi/halo2-example’s past year of commit activity
    Nix 0 Apache-2.0 2 0 0 Updated Feb 27, 2023
  • Isabelle-Arithmetization Public

    Formalization of Sigma11 and related in Isabelle/HOL

    Polytopoi/Isabelle-Arithmetization’s past year of commit activity
    Isabelle 0 Apache-2.0 0 0 0 Updated Feb 25, 2023
  • opsec-proposal Public

    A proposal for operational security research and development

    Polytopoi/opsec-proposal’s past year of commit activity
    TeX 0 0 2 0 Updated Feb 21, 2023
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…