Effect CommunityEC
Effect Community•3y ago•
8 replies
arj

Abstracting Boolean in Equivalence Interface

Thoughts on abstracting boolean?
/**
 * @category type class
 * @since 1.0.0
 */
export interface Equivalence<A,B> {
  (self: A, that: A): Boolean<B>
}


I'm interested in wrapping https://github.com/o1-labs/snarkyjs with Effect, it's a library for creating and verifying recursive snarks. It has it's own Field, Bool, Ord types which are necessary for communication with the circuit. There is another library which may be interesting to wrap as well: https://github.com/zksecurity/wasmati.
Was this page helpful?